Model theory for modal logic : Kripke models for modal predicate calculi /

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

Self reference and modal logic /
by: Smoryński, C.
Published: (1985)

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

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

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Aristotle's modal syllogistic /
by: Malink, Marko, 1980-
Published: (2013)

An Herebrand [as printed] theorem for higher order logic /
by: Jervell, Herman Ruge
Published: (1971)

The decision problem : solvable classes of quantificational formulas /
by: Dreben, Burton
Published: (1979)

Proof theory of modal logic /
Published: (1996)

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

An introduction to the model theory of first-order predicate logic and a related temporal logic /
by: Mattison, Rob
Published: (1968)

An introduction to the model theory of first-order predicate logic and a related temporal logic /
by: Mattison, Rob
Published: (1969)

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

Elements of deductive inference : an introduction to symbolic logic /
by: Bessie, Joseph
Published: (2000)

On Skolem and Herbrand theorems for intuitionistic logic.
by: Jervell, Herman Ruge
Published: (1972)

The statistical estimation of provability in the first order predicate calculus /
by: Westrhenen, S. Christiaan van, 1928-
Published: (1969)

Craig's interpolation theorem for the intuitionistic logic of constant domains /
by: Jervell, Herman Ruge
Published: (1971)

Propositional and predicate calculus : a model of argument /
by: Goldrei, Derek
Published: (2005)

Subsystems of second order arithmetic /
by: Simpson, Stephen G. (Stephen George), 1945-
Published: (1999)

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
by: Wallen, Lincoln A.
Published: (1990)

Predicate calculus and program semantics /
by: Dijkstra, Edsger W.
Published: (1990)

The logic of plurality /
by: Altham, J. E. J. (James Edward John)
Published: (1971)

Interpolation and definability : modal and intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (2005)

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

Switching theory : insight through predicate logic /
by: Vingron, Shimon Peter, 1936-
Published: (2004)

An essay in modal logic /
Published: (1951)

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

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

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

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

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

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

The Routledge handbook of modality /
Published: (2021)

Logical form, predication, and ontology /
Published: (1983)

Advances in modal logic /
Published: (1998)

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