MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Formalization in philosophy." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 34 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Note on Modeling Theories  
  • by Johan Van Benthem — 2003
  • … between formal calculus of theories in the philosophy of science and modal-epistemic logics. Throughout…
  • Add To MetaCart
  • The Semantics of Temporal Questions  
  • by Rani Nelken, N. Francez, Aron Publishers, M. Stokhof, Questions In, J. Van Benthem, Semantics D. Reidel, Dordrecht Reprinted, R. Thomason — 1998
  • …. Reprinted in R. Thomason, editor (1974), Formal Philosophy: selected papers of Richard Montague, Yale, New…
  • Cited by 2 (1 self) – Add To MetaCart
  • Bilattices and the Semantics of. . .  
  • by R. Nelken, N. Francez, De Gruyter, G. Chierchia, B. H. Partee, R. Turner, J. Groenendijk, M. Stokhof Interrogatives — 1998
  • … and semantics. D. Reidel, Dordrecht, 1973. Reprinted in R. Thomason, editor (1974), Formal Philosophy: selected…
  • Add To MetaCart
  • Formalisms for Multi-Agent Systems  
  • by Mark d'Inverno , Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael Wooldridge — 1996 — THE KNOWLEDGE ENGINEERING REVIEW
  • … for one of three things: (1) formal philosophy – using mathematical logic to axiomatise such things…
  • Cited by 22 (11 self) – Add To MetaCart
  • References  
  • by Steven Abney Functional Elements, Licensing Presented To Glow, J. Bach, T. C. Bell, I. H. Witten, J. L. Bentley, D. D. Sleator, R. E. Tarjan — 1989
  • …. Formal philosophy. In R. H. Thomason, editor, Selected Papers of Richard Montague. Yale University Press…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB