- (1 other version)Jon Barwise and Jerry Seligman, Information Flow. The Logic of Distributed Systems.Oliver Lemon - 1998 - Erkenntnis 49 (3):397-401.details
|
|
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.details
|
|
On the Plurality of Worlds.David K. Lewis - 1986 - Malden, Mass.: Wiley-Blackwell.details
|
|
(1 other version)Direct reference, propositional attitudes, and semantic content.Scott Soames - 2009 - In Philosophical Essays, Volume 2: The Philosophical Significance of Language. Princeton University Press. pp. 33-71.details
|
|
Information Flow: The Logic of Distributed Systems.Jon Barwise & Jerry Seligman - 1997 - Cambridge University Press.details
|
|
(1 other version)The Gupta-Belnap systems ${\rm S}^\#$ and ${\rm S}^*$ are not axiomatisable.Philip Kremer - 1993 - Notre Dame Journal of Formal Logic 34 (4):583-596.details
|
|
Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.details
|
|
(1 other version)Direct Reference, Propositional Attitudes, and Semantic Content.Scott Soames - 1987 - Philosophical Topics 15 (1):47-87.details
|
|
(1 other version)Actualism.Christopher Menzel - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
First order theories of individual concepts and propositions.John McCarthy - 1979details
|
|
Steps toward formalizing context.Varol Akman & Mehmet Surav - 1996 - AI Magazine 17 (3):55-72.details
|
|
Actualism and thisness.Robert Merrihew Adams - 1981 - Synthese 49 (1):3-41.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.details
|
|
(1 other version)Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.details
|
|
The Complexity of Revision.Gian Aldo Antonelli - 1994 - Notre Dame Journal of Formal Logic 35 (1):67-72.details
|
|
(1 other version)The Guptα-Belnαp Systems S and S* are not Axiomatisable.Philip Kremer - 1993 - Notre Dame Journal of Formal Logic 34 (4):583-596.details
|
|
On the Plurality of Worlds.William G. Lycan - 1988 - Journal of Philosophy 85 (1):42-47.details
|
|
On the Plurality of Worlds.David Lewis - 1986 - Revue Philosophique de la France Et de l'Etranger 178 (3):388-390.details
|
|
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.details
|
|
The IDEF family of languages.Christopher Menzel - 1998 - In Peter Bernus, Kai Mertins & Günter J. Schmidt (eds.), Handbook on Architectures of Information Systems. Springer-Verlag. pp. 209-241.details
|
|
Formal Ontology in Information Systems.Nicola Guarino (ed.) - 1998 - IOS Press.details
|
|
Formalizing context (expanded notes).John McCarthy & Sasa Buvac - 1998 - CSLI Lecture Notes 81:13-50.details
|
|
The use of situation theory in context modeling.Varol Akman & Mehmet Surav - 1997 - Computational Intelligence 13 (3):427-438.details
|
|
Logic and Information.Keith Devlin - 1991 - Cambridge University Press.details
|
|
(1 other version)On existentialism.Alvin Plantinga - 1983 - Philosophical Studies 44 (1):1 - 20.details
|
|
Actualism, Ontological Commitment, and Possible World Semantics.Christopher Menzel - 1990 - Synthese 85 (3):355-389.details
|
|
A theory of properties.Ray Turner - 1987 - Journal of Symbolic Logic 52 (2):455-472.details
|
|
Semantics and property theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.details
|
|
The true modal logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.details
|
|
(1 other version)Truth and Paradox.Anil Gupta - 1981 - Journal of Philosophy 78 (11):735-736.details
|
|
Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.details
|
|
Time and Modality.A. N. PRIOR - 1957 - Zeitschrift für Philosophische Forschung 13 (3):477-479.details
|
|
Singular Propositions and Modal Logic.Christopher Menzel - 1993 - Philosophical Topics 21 (2):113-148.details
|
|
Consiglio nazionale delle ricerc.N. Guarino & I. Roma - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press.details
|
|