- 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
Canonical formulas for k4. part III: The finite model property
Journal of Symbolic Logic 62 (3):950-975 (1997)
Abstract
Related Works: Part I: Michael Zakharyaschev. Canonical Formulas for $K4$. Part I: Basic Results. J. Symbolic Logic, Volume 57, Issue 4 , 1377--1402. Project Euclid: euclid.jsl/1183744119 Part II: Michael Zakharyaschev. Canonical Formulas for K4. Part II: Cofinal Subframe Logics. J. Symbolic Logic, Volume 61, Issue 2 , 421--449. Project Euclid: euclid.jsl/1183745008Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Splittings and the finite model property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.
Pseudo-finite homogeneity and saturation.Jörg Flum & Martin Ziegler - 1999 - Journal of Symbolic Logic 64 (4):1689-1699.
Canonical formulas for k4. part I: Basic results.Michael Zakharyaschev - 1992 - Journal of Symbolic Logic 57 (4):1377-1402.
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
Canonical formulas for k4. part II: Cofinal subframe logics.Michael Zakharyaschev - 1996 - Journal of Symbolic Logic 61 (2):421-449.
The simple substitution property of the intermediate propositional logics on finite slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
The finite model property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Analytics
Added to PP
2009-01-28
Downloads
21 (#689,095)
6 months
6 (#403,662)
2009-01-28
Downloads
21 (#689,095)
6 months
6 (#403,662)
Historical graph of downloads
Citations of this work
Finite Model Property in Weakly Transitive Tense Logics.Minghui Ma & Qian Chen - 2023 - Studia Logica 111 (2):217-250.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
References found in this work
On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable.J. G. Anderson - 1972 - Mathematical Logic Quarterly 18 (8-11):113-130.
A modal analog for Glivenko's theorem and its applications.V. V. Rybakov - 1992 - Notre Dame Journal of Formal Logic 33 (2):244-248.
A Sufficient Condition For The Finite Model Property Of Modal Logics Above K4.Michael Zakharyaschev - 1993 - Logic Journal of the IGPL 1 (1):13-21.
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-6d9b7f7c4c-v4fj8 uwo