Authors
Igor Sedlár
Czech Academy of Sciences
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
External links

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

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press.

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.
Substructural inquisitive logics.Vít Punčochář - 2019 - Review of Symbolic Logic 12 (2):296-330.
Tracking Reasons with Extensions of Relevant Logics.Shawn Standefer - 2019 - Logic Journal of the IGPL 27 (4):543-569.
Varieties of Relevant S5.Shawn Standefer - forthcoming - Logic and Logical Philosophy:1-28.
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.

Add more citations

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.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Normal Modal Substructural Logics with Strong Negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
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.

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 )

How can I increase my downloads?

Downloads

My notes