In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. 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
Two-Dimensional Modal Logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Many-Dimensional Modal Logics: Theory and Applications.Dov M. Gabbay (ed.) - 2003 - Elsevier North Holland.
Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.
View all 16 references / Add more references
Citations of this work BETA
No citations found.
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 Goudsmit - 2016 - Studia Logica 104 (6):1191-1204.
Analytics
Added to PP index
2018-02-17
Total views
4 ( #1,282,528 of 2,518,496 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,496 )
2018-02-17
Total views
4 ( #1,282,528 of 2,518,496 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,496 )
How can I increase my downloads?
Downloads
