9 results
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 03 April 2019, pp. 533-588
- Print publication:
- June 2019
-
- Article
- Export citation
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 428-438
- Print publication:
- September 2005
-
- Article
- Export citation
A logic for metric and topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 795-828
- Print publication:
- September 2005
-
- Article
- Export citation
Decidable fragments of first-order modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1415-1438
- Print publication:
- September 2001
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. A new introduction to modal logic. Routledge, London and New York1996, x + 421 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1483-1484
- Print publication:
- December 1997
-
- Article
- Export citation
Canonical formulas for K4. Part III: the finite model property
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 950-975
- Print publication:
- September 1997
-
- Article
- Export citation
Canonical formulas for K4. Part II: Cofinal subframe logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-449
- Print publication:
- June 1996
-
- Article
- Export citation
The undecidability of the disjunction property of propositional logics and other related problems
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 967-1002
- Print publication:
- September 1993
-
- Article
- Export citation
Canonical formulas for K4. Part I: Basic results
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1377-1402
- Print publication:
- December 1992
-
- Article
- Export citation