- Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.details
|
|
(3 other versions)Truth-Makers.Kevin Mulligan, Peter Simons & Barry Smith - 2009 - Swiss Philosophical Preprints.details
|
|
Elements of Symbolic Logic. [REVIEW]W. V. Quine - 1948 - Journal of Philosophy 45 (6):161-166.details
|
|
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.details
|
|
Situations and Attitudes.Jerry Butterfield - 1986 - Philosophical Quarterly 36 (143):292-296.details
|
|
(1 other version)The Proper Treatment of Events.Michiel van Lambalgen & Fritz Hamm - 2006 - Bulletin of Symbolic Logic 12 (1):139-141.details
|
|
Logics of Conversation.Nicholas Asher, Nicholas Michael Asher & Alex Lascarides - 2003 - Cambridge University Press.details
|
|
Austinian truth, attitudes and type theory ∗.Robin Cooper - unknowndetails
|
|
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..details
|
|
Events in the Semantics of English: A Study in Subatomic Semantics.Terence Parsons - 1990 - MIT Press.details
|
|
Situations in natural language semantics.Angelika Kratzer - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Truthmaker realism.Barry Smith - 1999 - Australasian Journal of Philosophy 77 (3):274 – 291.details
|
|
(3 other versions)Truth-Makers.Kevin Mulligan, Peter Simons & Barry Smith - 1984 - Philosophy and Phenomenological Research 44 (3):287-321.details
|
|
On the logic of demonstratives.David Kaplan - 1979 - Journal of Philosophical Logic 8 (1):81 - 98.details
|
|
(1 other version)Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.details
|
|
Situations and Attitudes.Jon Barwise & John Perry - 1983 - Cambridge, Mass.: MIT Press. Edited by John Perry.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
(1 other version)Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.details
|
|
Events, instants and temporal reference.Hans Kamp - 1979 - In Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds.), Semantics from different points of view. New York: Springer Verlag. pp. 376--418.details
|
|
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.details
|
|
(1 other version)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.details
|
|
Dynamic Logic.David Harel, Dexter Kozen & Jerzy Tiuryn - 2000 - MIT Press.details
|
|
Temporal propositions as vague predicates.Tim Fernando - unknowndetails
|
|
Situations as indices and as denotations.Tim Fernando - 2009 - Linguistics and Philosophy 32 (2):185-206.details
|
|
The logical form of action sentences.Donald Davidson - 1966 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press. pp. 81--95.details
|
|
(1 other version)Elements of symbolic logic.Hans Reichenbach - 1980 - London: Dover Publications.details
|
|
Lost innocence.Scott Soames - 1985 - Linguistics and Philosophy 8 (1):59--71.details
|
|
Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.details
|
|
(3 other versions)Truth-Makers.Kevin Mulligan, Peter M. Simons & Barry Smith - 2007 - In Jean-Maurice Monnoyer (ed.), Metaphysics and Truthmakers. Pisctaway, NJ: Ontos Verlag. pp. 18--9.details
|
|
(1 other version)Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.details
|
|
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details
|
|
The Situations We Talk about.Lenhart K. Schubert - unknowndetails
|
|
(1 other version)The Proper Treatment of Events.Michiel van Lambalgen & Fritz Hamm - 2006 - Erkenntnis 65 (3):441-447.details
|
|
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.details
|
|
(2 other versions)Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.details
|
|
Situations and Attitudes.Nino B. Cocchiarella - 1983 - Journal of Symbolic Logic 51 (2):470.details
|
|
Observing events and situations in time.Tim Fernando - 2007 - Linguistics and Philosophy 30 (5):527-550.details
|
|
(1 other version)Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
(1 other version)Situations and attitudes.Jon Barwise & John Perry - 2019 - In John Perry (ed.), Studies in language and information. Stanford, California: Center for the Study of Language and Information.details
|
|
Proof Theory and Meaning.B. G. Sundholm - unknowndetails
|
|
The effects of aspectual class on the temporal structure of discourse: Semantics or pragmatics? [REVIEW]David Dowty - 1986 - Linguistics and Philosophy 9 (1):37 - 61.details
|
|
(1 other version)Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.details
|
|
On constructing instants from events.S. K. Thomason - 1984 - Journal of Philosophical Logic 13 (1):85 - 96.details
|
|
Preface.David Dowty - 1986 - Linguistics and Philosophy 9 (1):1-3.details
|
|
Free construction of time from events.S. K. Thomason - 1989 - Journal of Philosophical Logic 18 (1):43 - 67.details
|
|