An Outline of a Substructural Model of BTA Belief

Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):160-170 (2013)
  Copy   BIBTEX

Abstract

The paper outlines an epistemic logic based on the proof theory of substructural logics. The logic is a formal model of belief that i) is based on true assumptions (BTA belief) and ii) does not suffer from the usual omniscience properties.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Synthesized substructural logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Contrastive Self‐Attribution of Belief.Scott F. Aikin - 2006 - Social Epistemology 20 (1):93 – 103.
A dialogue model of belief.Douglas Walton - 2010 - Argument and Computation 1 (1):23-46.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.

Analytics

Added to PP
2013-12-12

Downloads
36 (#443,688)

6 months
6 (#520,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Igor Sedlár
Czech Academy of Sciences

Citations of this work

Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.

Add more citations