Results for 'finite model property'

1000+ found
Order:
  1. A Normal Modal Calculus Between T and S4 Without the Finite Model Property.David Makinson - 1969 - Journal of Symbolic Logic 34 (1):35-38.
    The first example of an intuitively meaningful propositional logic without the finite model property, and still the simplest one in the literature. The question of its decidability appears still to be open.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  20
    On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
    Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  10
    A Finite Model Property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.
    It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMImin has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMImin is decidable.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  25
    On the Finite Model Property of Intuitionistic Modal Logics Over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
    MIPC is a well-known intuitionistic modal logic of Prior and Bull . It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  12
    The Finite Model Property for Knotted Extensions of Propositional Linear Logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
    The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule: γ, xn → y / γ, xm → y. It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  8
    Bimodal Logics with a “Weakly Connected” Component Without the Finite Model Property.Agi Kurucz - 2017 - Notre Dame Journal of Formal Logic 58 (2):287-299.
    There are two known general results on the finite model property of commutators [L0,L1]. If L is finitely axiomatizable by modal formulas having universal Horn first-order correspondents, then both [L,K] and [L,S5] are determined by classes of frames that admit filtration, and so they have the fmp. On the negative side, if both L0 and L1 are determined by transitive frames and have frames of arbitrarily large depth, then [L0,L1] does not have the fmp. In this paper (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    A Normal Modal Calculus Between T and S4 Without the Finite Model Property.David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692-692.
    The first example of an intuitively meaningful propositional logic without the finite model property, and still the simplest one in the literature. The question of its decidability appears still to be open.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  25
    The Finite Model Property for Semilinear Substructural Logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.
  9.  53
    The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
    Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  10.  10
    The Finite Model Property for Logics with the Tangle Modality.Robert Goldblatt & Ian Hodkinson - 2018 - Studia Logica 106 (1):131-166.
    The tangle modality is a propositional connective that extends basic modal logic to a language that is expressively equivalent over certain classes of finite frames to the bisimulation-invariant fragments of both first-order and monadic second-order logic. This paper axiomatises several logics with tangle, including some that have the universal modality, and shows that they have the finite model property for Kripke frame semantics. The logics are specified by a variety of conditions on their validating frames, including (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Splittings and the Finite Model Property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.
    An old conjecture of modal logics states that every splitting of the major systems K4, S4, G and Grz has the finite model property. In this paper we will prove that all iterated splittings of G have fmp, whereas in the other cases we will give explicit counterexamples. We also introduce a proof technique which will give a positive answer for large classes of splitting frames. The proof works by establishing a rather strong property of these (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  12.  22
    The Finite Model Property for BCI and Related Systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
    We prove the finite model property (fmp) for BCI and BCI with additive conjunction, which answers some open questions in Meyer and Ono [11]. We also obtain similar results for some restricted versions of these systems in the style of the Lambek calculus [10, 3]. The key tool is the method of barriers which was earlier introduced by the author to prove fmp for the product-free Lambek calculus [2] and the commutative product-free Lambek calculus [4].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13. Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.Ian Hodkinson - 2002 - Studia Logica 70 (2):205 - 240.
    We show that the loosely guarded and packed fragments of first-order logic have the finite model property. We use a construction of Herwig and Hrushovski. We point out some consequences in temporal predicate logic and algebraic logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  6
    Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.Ian Hodkinson - 2002 - Studia Logica 70 (2):205-240.
    We show that the loosely guarded and packed fragments of first-order logic have the finite model property. We use a construction of Herwig and Hrushovski. We point out some consequences in temporal predicate logic and algebraic logic.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  18
    The Finite Model Property in Tense Logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
    Tense logics in the bimodal propositional language are investigated with respect to the Finite Model Property. In order to prove positive results techniques from investigations of modal logics above K4 are extended to tense logic. General negative results show the limits of the transfer.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  42
    Distributive Full Lambek Calculus Has the Finite Model Property.Michał Kozak - 2009 - Studia Logica 91 (2):201-216.
    We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus ( DFL ) whose algebraic semantics is the class of distributive residuated lattices ( DRL ). The problem was left open in [8, 5]. We use the method of nuclei and quasi–embedding in the style of [10, 1].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  22
    Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
    In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  4
    Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177-200.
    In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics and LaFiRe-logics are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  14
    The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
    Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic and for affine logic, i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL, and intuitionistic LLW. In addition, we shall show the finite model property for contractive linear logic, i.e., linear logic with contraction, and for its intuitionistic version. The finite (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  15
    The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.C. van Alten & J. Raftery - 1999 - Studia Logica 63 (2):213-222.
    The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. B Seg Has The Finite Model Property.M. Cresswell - 1979 - Bulletin of the Section of Logic 8 (3):154-158.
    In this paper I shall look at the application of the ltration technique to omnitemporal logic . The principal result of the paper will be that the system BSeg of [3] has the nite model property; but I shall also make a few remarks about the system B+ of [2].
     
    Export citation  
     
    Bookmark  
  22.  31
    That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
  23.  36
    The Finite Model Property for Various Fragments of Linear Logic.Yves Lafont - 1997 - Journal of Symbolic Logic 62 (4):1202-1208.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  51
    The Finite Model Property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  17
    David Makinson. A Normal Modal Calculus Between T and S4 Without the Finite Model Property. The Journal of Symbolic Logic, Vol. 34 , Pp. 35–38.Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (4):692.
  26.  14
    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.
  27.  25
    Decidability and the Finite Model Property.Alasdair Urquhart - 1981 - Journal of Philosophical Logic 10 (3):367 - 370.
  28.  19
    The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (1-2):29-32.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  6
    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.
  30.  11
    Canonical Formulas for K4. Part III: The Finite Model Property.Michael Zakharyaschev - 1997 - Journal of Symbolic Logic 62 (3):950-975.
    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/1183745008.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  3
    The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Mathematical Logic Quarterly 5 (1‐2):29-32.
  32.  25
    A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):127-132.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  7
    Canonical Formulas for K4. Part III: The Finite Model Property.Michael Zakharyaschev - 1997 - Journal of Symbolic Logic 62 (3):950-975.
    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/1183745008.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  4
    Semicomplemented Lattices and the Finite Model Property.I. L. Humberstone & A. J. Lock - 1986 - Mathematical Logic Quarterly 32 (25‐30):431-437.
  35.  25
    Semicomplemented Lattices and the Finite Model Property.I. L. Humberstone & A. J. Lock - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (25-30):431-437.
  36.  27
    Finite Model Property for Some Intuitionistic Modal Logics.Yasusi Hasimoto - 2001 - Bulletin of the Section of Logic 30 (2):87-97.
  37.  30
    The Finite Model Property and Recursive Bounds on the Size of Countermodels.Dolph Ulrich - 1983 - Journal of Philosophical Logic 12 (4):477 - 480.
  38.  9
    Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):181-181.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  11
    A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Mathematical Logic Quarterly 11 (2):127-132.
  40.  13
    Skolemization in Intermediate Logics with the Finite Model Property.Matthias Baaz & Rosalie Iemhoff - 2016 - Logic Journal of the IGPL 24 (3):224-237.
  41.  8
    KM and the Finite Model Property.M. J. Cresswell - 1983 - Notre Dame Journal of Formal Logic 24 (3):323-327.
  42.  8
    Bull R. A.. A Note on the Modal Calculi S4.2 and S4.3. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 10 , Pp. 53–55.Bull R. A.. A Class of Extensions of the Modal System S4 with the Finite Model Property. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 11 , Pp. 127–132.Bull R. A.. That All Normal Extensions of S4.3 Have the Finite Model Property. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 12 , Pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
    Reviews of the papers mentioned in the title.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  19
    Fixed Points Through the Finite Model Property.Giovanni Sambin - 1978 - Studia Logica 37 (3):287 - 289.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  12
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Review: R. A. Bull, A Note on the Modal Calculi S4.2 and S4.3; R. A. Bull, A Class of Extensions of the Modal System S4 with the Finite Model Property; R. A. Bull, That All Normal Extensions of S4.3 Have the Finite Model Property[REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
  46. The Finite Values Property.E. Howarth & J. B. Paris - 2016 - In C. Beierle, C. Brewka & M. Thimm (eds.), Computational Models of Rationality, Essays Dedicated to Gabriele Kern-Isberner on the Occasion of her 60th Birthday. London, UK: College Publications. pp. 316-331.
    We argue that the simplicity condition on a probability function on sentences of a predicate language L that it takes only finitely many values on the sentences of any finite sublanguage of L can be viewed as rational. We then go on to investigate consequences of this condition, linking it to the model theoretic notion of quantifier elimination.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  9
    Locally Finite Reducts of Heyting Algebras and Canonical Formulas.Guram Bezhanishvili & Nick Bezhanishvili - 2017 - Notre Dame Journal of Formal Logic 58 (1):21-45.
    The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices. The variety of bounded distributive lattices is generated by the →-free reducts of Heyting algebras, while the variety of implicative semilattices is generated by the ∨-free reducts. Each of these reducts gives rise to canonical formulas that generalize Jankov formulas and provide an axiomatization of all superintuitionistic logics. The ∨-free reducts of Heyting algebras give rise to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  47
    Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
    We provide a canonical construction of conformal covers for finite hypergraphs and present two immediate applications to the finite model theory of relational structures. In the setting of relational structures, conformal covers serve to construct guarded bisimilar companion structures that avoid all incidental Gaifman cliques-thus serving as a partial analogue in finite model theory for the usually infinite guarded unravellings. In hypergraph theoretic terms, we show that every finite hypergraph admits a bisimilar cover by (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  19
    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.
    We prove that if a modal formula is refuted on a wK4-algebra ( B ,□), then it is refuted on a finite wK4-algebra which is isomorphic to a subalgebra of a relativization of ( B ,□). As an immediate consequence, we obtain that each subframe and cofinal subframe logic over wK4 has the finite model property. On the one hand, this provides a purely algebraic proof of the results of Fine and Zakharyaschev for K4 . On (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50.  21
    Prefinitely Axiomatizable Modal and Intermediate Logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
    A logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and in the lattice of normal extensions of K4.3. MSC: 03B45, 03B55.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000