In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 411-436 (2012)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| Buy the book |
Find it on Amazon.com
|
| ISBN(s) | |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,259
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
On Modal Logics Between K × K × K and S5 × S5 × S.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.
Similar books and articles
Finite Frames for K4.3 X S5 Are Decidable.Agi Kurucz & Sérgio Marcelino - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 411-436.
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.
Decidability Of Classes Of Finite Algebras With A Distinguished Subset Closed Under A Discriminator Clone.Jerzy Hanusek - 1996 - Reports on Mathematical Logic:65-82.
Decidable Discriminator Varieties From Unary Varieties.Stanley Burris, Ralph Mckenzie & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (4):1355-1368.
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.
Analytics
Added to PP index
2020-02-06
Total views
1 ( #1,552,166 of 2,518,484 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,484 )
2020-02-06
Total views
1 ( #1,552,166 of 2,518,484 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,484 )
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
