Multi-dimensional modal logic /
| Main Author: | Marx, Maarten |
|---|---|
| Other Authors: | Venema, Yde, 1963- |
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht ; Boston, Mass. :
Kluwer Academic Publishers,
[1997]
|
| Series: | Applied logic series ;
v. 4. |
| Subjects: |
Similar Items
Modal logic /
by: Blackburn, Patrick, 1959-
Published: (2001)
by: Blackburn, Patrick, 1959-
Published: (2001)
Tools and techniques in modal logic /
by: Kracht, Marcus
Published: (1999)
by: Kracht, Marcus
Published: (1999)
Self reference and modal logic /
by: Smoryński, C.
Published: (1985)
by: Smoryński, C.
Published: (1985)
Tools and techniques in modal logic /
by: Kracht, Marcus
Published: (1999)
by: Kracht, Marcus
Published: (1999)
Interpolation and definability in modal logics : modal and intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (2005)
by: Gabbay, Dov M., 1945-
Published: (2005)
Mathematics of modality /
by: Goldblatt, Robert
Published: (1993)
by: Goldblatt, Robert
Published: (1993)
Model theory for modal logic : Kripke models for modal predicate calculi /
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)
Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)
by: Fitting, Melvin, 1942-
Published: (1983)
Arrow logic and multi-modal logic /
Published: (1996)
Published: (1996)
Many-dimensional modal logics : theory and applications /
Published: (2003)
Published: (2003)
Proof theory of modal logic /
Published: (1996)
Published: (1996)
Gentzen calculi for modal propositional logic /
by: Poggiolesi, Francesca, 1980-
Published: (2011)
by: Poggiolesi, Francesca, 1980-
Published: (2011)
Advances in intensional logic /
Published: (1997)
Published: (1997)
Many-dimensional modal logics : theory and applications /
Published: (2003)
Published: (2003)
Advances in intensional logic /
Published: (1997)
Published: (1997)
Multi-Dimensional Modal Logic /
by: Marx, Maarten
Published: (1997)
by: Marx, Maarten
Published: (1997)
An essay in modal logic /
Published: (1951)
Published: (1951)
Aspects of Aristotle's logic of modalities /
by: Rijen, Jeroen van, 1950-
Published: (1989)
by: Rijen, Jeroen van, 1950-
Published: (1989)
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
by: Wallen, Lincoln A.
Published: (1990)
by: Wallen, Lincoln A.
Published: (1990)
Model theory for modal logic : Kripke models for modal predicate calculi /
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)
Modal logics /
by: Feys, Robert, 1889-
Published: (1965)
by: Feys, Robert, 1889-
Published: (1965)
Modal logics and philosophy /
by: Girle, Rod
Published: (2000)
by: Girle, Rod
Published: (2000)
An introduction to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1968)
by: Hughes, G. E. (George Edward), 1918-
Published: (1968)
Modality : Metaphysics, Logic, And Epistemology.
by: Hale, Bob
Published: (2010)
by: Hale, Bob
Published: (2010)
A companion to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1984)
by: Hughes, G. E. (George Edward), 1918-
Published: (1984)
Modal logic and its applications /
by: Snyder, D. Paul, 1933-
Published: (1971)
by: Snyder, D. Paul, 1933-
Published: (1971)
First-order modal logic /
by: Fitting, Melvin, 1942-
Published: (1998)
by: Fitting, Melvin, 1942-
Published: (1998)
Advances in modal logic /
Published: (1998)
Published: (1998)
Modal logic as metaphysics /
by: Williamson, Timothy
Published: (2013)
by: Williamson, Timothy
Published: (2013)
Interpolation and definability : modal and intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (2005)
by: Gabbay, Dov M., 1945-
Published: (2005)
A short introduction to modal logic /
by: Mint͡s, G. E.
Published: (1992)
by: Mint͡s, G. E.
Published: (1992)
Diamonds and defaults : studies in pure and applied intensional logic /
Published: (1993)
Published: (1993)