Finite Frames for K4.3 x S5 Are Decidable

&
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 411-436 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The existence of a near-unanimity term in a finite algebra is decidable.Miklós Maróti - 2009 - Journal of Symbolic Logic 74 (3):1001-1014.
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.
On Solvable Congruences in Finitely Decidable Varieties.Matthew A. Valeriote - 1994 - Mathematical Logic Quarterly 40 (3):398-414.
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable.Michael Zakharyaschevm & Alexander Alekseev - 1995 - Mathematical Logic Quarterly 41 (1):15-23.
Products of ‘transitive” modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
Products of 'transitive' modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
A Decidable Variety That Is Finitely Undecidable.Joohee Jeong - 1999 - Journal of Symbolic Logic 64 (2):651-677.
A decidable variety that is finitely undecidable.Joohee Jeong - 1999 - Journal of Symbolic Logic 64 (2):651-677.
Decidable discriminator varieties from unary varieties.Stanley Burris, Ralph Mckenzie & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (4):1355-1368.
Decidability Of Classes Of Finite Algebras With A Distinguished Subset Closed Under A Discriminator Clone.Jerzy Hanusek - 1996 - Reports on Mathematical Logic:65-82.
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets.James H. Schmerl - 1981 - Journal of Symbolic Logic 46 (1):101 - 120.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
Finite Algebras of Relations are Representable on Finite Sets.H. Andreka, I. Hodkinson & I. Nemeti - 1999 - Journal of Symbolic Logic 64 (1):243-267.
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility.Jeroen P. Goudsmit - 2016 - Studia Logica 104 (6):1191-1204.

Analytics

Added to PP
2018-02-17

Downloads
8 (#1,291,989)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.

View all 16 references / Add more references