\(\in_K\): a non-Fregean logic of explicit knowledge

DOI10.1007/s11225-011-9304-8zbMath1231.03016OpenAlexW286019678MaRDI QIDQ633160

Steffen Lewitzka

Publication date: 31 March 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9304-8

zbMATH Keywords

liar paradoxself-referenceepistemic logicnon-Fregean logiclogical omniscienceexplicit knowledgeclassical abstract logicepistemic paradox

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Reasoning about proof and knowledge ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Tableau-based decision procedure for non-Fregean logic of sentential identity ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity

Cites Work

• \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• A general possible worlds framework for reasoning about knowledge and belief
• Minimally generated abstract logics
• Abstract logics, logic maps, and logic homomorphisms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item