Cover Image

Multi-Dimensional Modal Logic /

Show other versions (1)

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our defini...

Full description

Bibliographic Details
Main Author:	Marx, Maarten
Corporate Author:	SpringerLink (Online service)
Other Authors:	Venema, Yde
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1997.
Series:	Applied logic series ; 4.
Subjects:	Philosophy (General) Logic. Logic, Symbolic and mathematical. Computational linguistics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

First-Order Modal Logic /
by: Fitting, Melvin
Published: (1998)

Handbook of Philosophical Logic : Volume III: Alternatives in Classical Logic /
by: Gabbay, D.
Published: (1986)

Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)

Logic, Meaning and Computation : Essays in Memory of Alonzo Church /
by: Anderson, C. Anthony
Published: (2001)

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics /
by: Gabbay, Dov M.
Published: (1976)

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)

Acting and Reflecting : the Interdisciplinary Turn in Philosophy /
by: Sieg, Wilfried
Published: (1989)

Directions in Relevant Logic /
by: Norman, Jean
Published: (1989)

Labelled Non-Classical Logics /
by: Viganò, Luca
Published: (2000)

Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic /
by: Gabbay, D.
Published: (1984)

Handbook of Philosophical Logic : Volume I: Elements of Classical Logic /
by: Gabbay, D.
Published: (1983)

A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)

Logic and Foundations of Mathematics : Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 /
by: Cantini, Andrea
Published: (1999)

Course of Mathematical Logic : Volume 2 Model Theory /
by: Fraïssé, Roland
Published: (1974)

Mind, Meaning and Mathematics : Essays on the Philosophical Views of Husserl and Frege /
by: Haaparanta, Leila
Published: (1994)

An Essay in Universal Semantics /
by: Varzi, Achille C.
Published: (1999)

The Lvov-Warsaw School and Contemporary Philosophy /
by: Kijania-Placek, Katarzyna
Published: (1998)

Trends in Logic : 50 Years of Studia Logica /
by: Hendricks, Vincent F.
Published: (2003)

Doing Worlds with Words : Formal Semantics without Formal Metaphysics /
by: Peregrin, Jaroslav
Published: (1995)

Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
by: Krynicki, Michał
Published: (1995)

Quantifiers: Logics, Models and Computation : Volume One: Surveys /
by: Krynicki, Michał
Published: (1995)

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

Modal Logic with Descriptions /
by: Ruzsa, Imre
Published: (2001)

Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 /
by: Keimel, Klaus
Published: (2001)

Introduction to Axiomatic Set Theory /
by: Krivine, J. L. (Jean Louis)
Published: (1971)

Leśniewski's Systems Protothetic /
by: Srzednicki, Jan T. J.
Published: (1998)

Hilbert's Program : An Essay on Mathematical Instrumentalism /
by: Detlefsen, Michael
Published: (1986)

Truthlikeness /
by: Niiniluoto, Ilkka
Published: (1987)

The Logic of Epistemology and the Epistemology of Logic : Selected Essays /
by: Hintikka, Jaakko
Published: (1988)

Triangular Norms /
by: Klement, E. P. (Erich Peter)
Published: (2000)

A Guide to Classical and Modern Model Theory /
by: Marcja, A. (Annalisa)
Published: (2003)

From Dedekind to Gödel : Essays on the Development of the Foundations of Mathematics /
by: Hintikka, Jaakko
Published: (1995)

Proof Theory : History and Philosophical Significance /
by: Hendricks, Vincent F.
Published: (2000)

Proof Methods for Modal and Intuitionistic Logics /
by: Fitting, Melvin
Published: (1983)

Aspects of Philosophical Logic : Some Logical Forays into Central Notions of Linguistics and Philosophy /
by: Mönnich, Uwe
Published: (1981)

Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /
by: Ghilardi, Silvio
Published: (2002)

Mathematical Intuition : Phenomenology and Mathematical Knowledge /
by: Tieszen, Richard L.
Published: (1989)

The Growth of Mathematical Knowledge /
by: Grosholz, Emily
Published: (2000)

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)