Interpolation and definability in modal logics : modal and intuitionistic logic /

Tools and techniques in modal logic /
by: Kracht, Marcus
Published: (1999)

Multi-dimensional modal logic /
by: Marx, Maarten
Published: (1997)

Tools and techniques in modal logic /
by: Kracht, Marcus
Published: (1999)

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
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)

Proof theory of modal logic /
Published: (1996)

Gentzen calculi for modal propositional logic /
by: Poggiolesi, Francesca, 1980-
Published: (2011)

Modal logics /
by: Feys, Robert, 1889-
Published: (1965)

Mathematics of modality /
by: Goldblatt, Robert
Published: (1993)

An essay in modal logic /
Published: (1951)

Arrow logic and multi-modal logic /
Published: (1996)

Aspects of Aristotle's logic of modalities /
by: Rijen, Jeroen van, 1950-
Published: (1989)

Modal logics and philosophy /
by: Girle, Rod
Published: (2000)

An introduction to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1968)

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

Model theory for modal logic : Kripke models for modal predicate calculi /
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)

Modality : Metaphysics, Logic, And Epistemology.
by: Hale, Bob
Published: (2010)

Advances in intensional logic /
Published: (1997)

A companion to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1984)

Modal logic and its applications /
by: Snyder, D. Paul, 1933-
Published: (1971)

First-order modal logic /
by: Fitting, Melvin, 1942-
Published: (1998)

Advances in modal logic /
Published: (1998)

Modal logic as metaphysics /
by: Williamson, Timothy
Published: (2013)

Modality /
by: Melia, Joseph
Published: (2003)

Admissible sets and structures : an approach to definability theory /
by: Barwise, Jon
Published: (1975)

Investigations in modal and tense logics with applications to problems in philosophy and linguistics /
by: Gabbay, Dov M., 1945-
Published: (1976)

Advances in intensional logic /
Published: (1997)

Modality : metaphysics, logic, and epistemology /
Published: (2010)

A short introduction to modal logic /
by: Mint͡s, G. E.
Published: (1992)

Many-dimensional modal logics : theory and applications /
Published: (2003)

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

Modern modalities : studies of the history of modal theories from medieval nominalism to logical positivism /
Published: (1988)

Modal logic : an introduction to its syntax and semantics /
by: Cocchiarella, Nino B.
Published: (2008)

The Routledge handbook of modality /
Published: (2021)

Handbook of modal logic /
Published: (2007)

Quantification in nonclassical logic /
by: Gabbay, Dov M., 1945-
Published: (2009)