Journal of Applied Non-Classical Logics 25 (3):256-285 (2015)
| Authors |
|
| Abstract |
The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics with distributive substructural logics. Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point set. The main technical result is a general completeness theorem. Axiomatisations are provided by means of two-sorted Hilbert-style calculi. It is also shown that the framework presents a natural solution to the problem of logical omniscience
|
| Keywords | Belief Epistemic logic Substructural logic |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1080/11663081.2015.1094313 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
View all 63 references / Add more references
Citations of this work BETA
The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
Tracking Reasons with Extensions of Relevant Logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
From Positive PDL to its Non-Classical Extensions.Igor Sedlár & Vít Punčochář - 2019 - Logic Journal of the IGPL 27 (4):522-542.
Similar books and articles
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Synthesized Substructural Logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
Cut Elimination In Noncommutative Substructural Logics.Bayu Surarso & Hiroakira Ono - 1996 - Reports on Mathematical Logic:13-29.
Informational Interpretation of Substructural Propositional Logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Epistemic Models, Logical Monotony and Substructural Logics.Mikaël Cozic - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 11--23.
Glivenko Theorems Revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Glivenko Theorems and Negative Translations in Substructural Predicate Logics.Hadi Farahani & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):695-707.
Displaying and Deciding Substructural Logics 1: Logics with Contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Analytics
Added to PP index
2015-12-01
Total views
26 ( #441,524 of 2,519,857 )
Recent downloads (6 months)
1 ( #406,012 of 2,519,857 )
2015-12-01
Total views
26 ( #441,524 of 2,519,857 )
Recent downloads (6 months)
1 ( #406,012 of 2,519,857 )
How can I increase my downloads?
Downloads
