Annals of Pure and Applied Logic 141 (1):218-224 (2006)
| Abstract |
A new modal logic is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic is proven to be decidable and complete with respect to this semantics
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.apal.2005.11.002 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Review of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Citations of this work BETA
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications.Sergio A. Celani - 2015 - Studia Logica 103 (4):733-755.
Similar books and articles
Information Closure and the Sceptical Objection.Luciano Floridi - 2014 - Synthese 191 (6):1037-1050.
On a Four-Valued Modal Logic with Deductive Implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.
The Many Faces of Closure and Introspection: An Interactive Perspective.Patrick Allo - 2013 - Journal of Philosophical Logic 42 (1):91-124.
Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.Wesley H. Holliday - 2015 - Journal of Philosophical Logic 44 (1):1-62.
Connected Modal Logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.
Epistemic Closure and Commutative, Nonassociative Residuated Structures.Sebastian Sequoiah-Grayson - 2013 - Synthese 190 (1):113-128.
The Modal Logic of {Beta(Mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.
Analytics
Added to PP index
2013-12-31
Total views
7 ( #1,006,288 of 2,411,486 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,486 )
2013-12-31
Total views
7 ( #1,006,288 of 2,411,486 )
Recent downloads (6 months)
1 ( #538,999 of 2,411,486 )
How can I increase my downloads?
Downloads
