- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The finite model property for MIPQ and some consequences
Notre Dame Journal of Formal Logic 19:687 (1978)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The finite model property for ${\bf MIPQ}$ and some consequences.Gisèle Fischer-Servi - 1978 - Notre Dame Journal of Formal Logic 19 (4):687-692.
KM and the finite model property.M. J. Cresswell - 1983 - Notre Dame Journal of Formal Logic 24 (3):323-327.
Finite model property for five modal calculi in the neighbourhood of $S3$.Anjan Shukla - 1971 - Notre Dame Journal of Formal Logic 12 (1):69-74.
A Counterexample in Tense Logic.Frank Wolter - 1996 - Notre Dame Journal of Formal Logic 37 (2):167-173.
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
Some results on finite axiomatizability in modal logic.E. J. Lemmon - 1965 - Notre Dame Journal of Formal Logic 6 (4):301-308.
Erratum: ``Some results concerning finite models for sentential calculi''.Dolph Ulrich - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.
Some results concerning finite models for sentential calculi.Dolph Ulrich - 1972 - Notre Dame Journal of Formal Logic 13 (3):363-368.
An Algebraic Approach to Subframe Logics. Modal Case.Guram Bezhanishvili, Silvio Ghilardi & Mamuka Jibladze - 2011 - Notre Dame Journal of Formal Logic 52 (2):187-202.
Duality in finite many-valued logic.Rangaswamy V. Setlur - 1971 - Notre Dame Journal of Formal Logic 12 (2):188-194.
Analytics
Added to PP
2017-02-20
Downloads
5 (#1,558,750)
6 months
1 (#1,720,529)
2017-02-20
Downloads
5 (#1,558,750)
6 months
1 (#1,720,529)
Historical graph of downloads
Citations of this work
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.
Decidable fragments of first-order modal logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.
Temporal Interpretation of Monadic Intuitionistic Quantifiers.Guram Bezhanishvili & Luca Carai - 2023 - Review of Symbolic Logic 16 (1):164-187.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Guram Bezhanishvili, Kristina Brantley & Julia Ilin - 2023 - Journal of Symbolic Logic 88 (1):427-467.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-5pqs9 uwo