- Multi-Dimensional Modal Logic.Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
The Logical Syntax of Language.Rudolf Carnap - 1937 - London: Routledge. Edited by Amethe Smeaton.details
|
|
Institution-Independent Model Theory.Razvan Diaconescu - 2008 - Basel, Switzerland: Birkhäuser.details
|
|
Logic machines and diagrams.Martin Gardner - 1958 - Chicago: University of Chicago Press.details
|
|
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.details
|
|
Logical dynamics meets logical pluralism?Johan van Benthem - 2008 - Australasian Journal of Logic 6:182-209.details
|
|
Parts: a study in ontology.Peter M. Simons - 1987 - New York: Oxford University Press.details
|
|
« Everywhere » and « here ».Valentin Shehtman - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):369-379.details
|
|
A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.details
|
|
Institutionalising ontology-based semantic integration.Marco Schorlemmer & Yannis Kalfoglou - 2008 - Applied ontology 3 (3):131-150.details
|
|
Logical Pluralism Hollandaise.Graham Priest - 2008 - Australasian Journal of Logic 6:210-214.details
|
|
In Contradiction: A Study of the Transconsistent.N. C. A. Da Costa - 1989 - Philosophical Quarterly 39 (157):498-502.details
|
|
Über Theorien im erweiterten Sinne.August Pieczkowski - 1974 - Studia Logica 33 (4):317-331.details
|
|
A four-valued semantics for terminological logics.Peter F. Patel-Schneider - 1989 - Artificial Intelligence 38 (3):319-351.details
|
|
Nonexistent Objects.Terence Parsons - 1980 - Yale University Press.details
|
|
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC C.S. P. Odintsov & H. Wansing - 2008 - Journal of Applied Logic 6 (3):343-360.details
|
|
What is a logic translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.details
|
|
Expressive probabilistic description logics.Thomas Lukasiewicz - 2008 - Artificial Intelligence 172 (6-7):852-883.details
|
|
Parts of Classes.Michael Potter - 1993 - Philosophical Quarterly 43 (172):362-366.details
|
|
Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.details
|
|
-Connections of abstract description systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.details
|
|
Allgemeine Logische und Mathematische Theorien.Jerzy Kotas & August Pieczkowski - 1970 - Mathematical Logic Quarterly 16 (6):353-376.details
|
|
Representing and reasoning over a taxonomy of part–whole relations.C. Maria Keet & Alessandro Artale - 2008 - Applied ontology 3 (1-2):91-110.details
|
|
Ontological categories in GOL.Barbara Heller & Heinrich Herre - 2004 - Axiomathes 14 (1-3):57-76.details
|
|
From Logic to Philosophies. [REVIEW]Neil Tennant - 1981 - British Journal for the Philosophy of Science 32 (3):287-301.details
|
|
Data, Schema, Ontology and Logic Integration.Joseph Goguen - 2005 - Logic Journal of the IGPL 13 (6):685-715.details
|
|
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.details
|
|
Logical Foundations of Artificial Intelligence.Michael R. Genesereth & Nils J. Nilsson - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.details
|
|
Connecting Many-Sorted Theories.Franz Baader & Silvio Ghilardi - 2007 - Journal of Symbolic Logic 72 (2):535 - 583.details
|
|
First-order modal logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.details
|
|
An epistemic operator for description logics.F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt & A. Schaerf - 1998 - Artificial Intelligence 100 (1-2):225-274.details
|
|
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
On the relative expressiveness of description logics and predicate logics.Alex Borgida - 1996 - Artificial Intelligence 82 (1-2):353-367.details
|
|
Modal Logics for Qualitative Spatial Reasoning.Brandon Bennett - 1996 - Logic Journal of the IGPL 4 (1):23-45.details
|
|
Under Carnap’s Lamp: Flat Pre-semantics.Nuel Belnap - 2005 - Studia Logica 80 (1):1-28.details
|
|
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
A linguistic ontology of space for natural language processing.John A. Bateman, Joana Hois, Robert Ross & Thora Tenbrink - 2010 - Artificial Intelligence 174 (14):1027-1071.details
|
|
Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.details
|
|
Formal Ontology in Information Systems.Nicola Guarino (ed.) - 1998 - IOS Press.details
|
|
Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.details
|
|
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.details
|
|
Philosophy of Logics.Susan Haack - 1978 - London and New York: Cambridge University Press.details
|
|
Deviant logic, fuzzy logic: beyond the formalism.Susan Haack - 1974 - Chicago: University of Chicago Press. Edited by Susan Haack.details
|
|
Empiricism, Semantics and Ontology.Rudolf Carnap - 1950 - Revue Internationale de Philosophie 4 (11):20-40.details
|
|
Isabelle/Hol a Proof Assistant for Higher-Order Logic.Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel - 2002 - Berlin and New York: Springer.details
|
|
Carnap’s Tolerance, Meaning, and Logical Pluralism.Greg Restall - 2002 - Journal of Philosophy 99 (8):426-443.details
|
|
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.details
|
|