Annals of Pure and Applied Logic 166 (1):1-28 (2015)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2014.08.003 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Hybrid Logics: Characterization, Interpolation and Complexity.Carlos Areces, Patrick Blackburn & Maarten Marx - 2001 - Journal of Symbolic Logic 66 (3):977-1010.
Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Modal Logic: A Semantic Perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.
View all 15 references / Add more references
Citations of this work BETA
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.
Similar books and articles
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Varieties of Monadic Heyting Algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
Modal Deduction in Second-Order Logic and Set Theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.
Simulating Polyadic Modal Logics by Monadic Ones.George Goguadze, Carla Piazza & Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):419-462.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Arity and Alternation in Second-Order Logic.J. A. Makowsky & Y. B. Pnueli - 1996 - Annals of Pure and Applied Logic 78 (1-3):189-202.
Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Hierarchies of Monadic Generalized Quantifiers.Kerkko Luosto - 2000 - Journal of Symbolic Logic 65 (3):1241-1263.
On Incompleteness in Modal Logic. An Account Through Second-Order Logic.Mircea Dumitru - 1998 - Dissertation, Tulane University
First-Order Definability in Modal Logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.
Analytics
Added to PP index
2015-08-28
Total views
12 ( #809,864 of 2,508,155 )
Recent downloads (6 months)
1 ( #416,711 of 2,508,155 )
2015-08-28
Total views
12 ( #809,864 of 2,508,155 )
Recent downloads (6 months)
1 ( #416,711 of 2,508,155 )
How can I increase my downloads?
Downloads
