On propositional quantifiers in provability logic
Notre Dame Journal of Formal Logic 34 (3):401-419 (1993)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesSilvio Ghilardi & Marek Zawadowski (1995). Undefinability of Propositional Quantifiers in the Modal System S. Studia Logica 55 (2):259 - 271.
Lev Dmitrievich Beklemishev (1999). Provability, Complexity, Grammars. American Mathematical Society.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.
Richard Zach (2004). Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω. Journal of Philosophical Logic 33 (2):155-164.
Marta Bílková (2007). Uniform Interpolation and Propositional Quantifiers in Modal Logics. Studia Logica 85 (1):1 - 31.
Peter W. O'Hearn & David J. Pym (1999). The Logic of Bunched Implications. Bulletin of Symbolic Logic 5 (2):215-244.
Lev D. Beklemishev (1996). Bimodal Logics for Extensions of Arithmetical Theories. Journal of Symbolic Logic 61 (1):91-124.
Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.
Giorgie Dzhaparidze (1991). Predicate Provability Logic with Non-Modalized Quantifiers. Studia Logica 50 (1):149 - 160.
Steven T. Kuhn (1980). Quantifiers as Modal Operators. Studia Logica 39 (2-3):145 - 158.
Ulrich Nortmann (2001). How to Extend the Dialogical Approach to Provability Logic. Synthese 127 (1-2):95 - 103.
Sergei Artëmov & Franco Montagna (1994). On First-Order Theories with Provability Operator. Journal of Symbolic Logic 59 (4):1139-1153.
Tomasz Połacik (1994). Second Order Propositional Operators Over Cantor Space. Studia Logica 53 (1):93 - 105.
Jeremy D. Avigad (2002). Review: Sergei N. Artemov, Explicit Provability and Constructive Semantics. [REVIEW] Bulletin of Symbolic Logic 8 (3):432-433.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads8 ( #123,036 of 549,070 )Recent downloads (6 months)1 ( #63,185 of 549,070 )How can I increase my downloads? |
My notes
Discussion
