Substructural epistemic logics

DOI10.1080/11663081.2015.1094313zbMath1398.03074OpenAlexW2264070769MaRDI QIDQ4586145

Igor Sedlár

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2015.1094313

zbMATH Keywords

evidenceknowledge representationsubstructural logicsepistemic logiclogical omniscience

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

Situated epistemic updates ⋮ Varieties of Relevant S5 ⋮ The fundamental problem of logical omniscience ⋮ A substructural approach to explicit modal logic ⋮ Relevant epistemic logic with public announcements and common knowledge ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The problem of rational knowledge
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Evidence and plausibility in neighborhood structures
• On the ternary relation and conditionality
• Dynamic logics of evidence-based beliefs
• The logic of proofs, semantically
• A positive information logic for inferential information
• Belief, awareness, and limited reasoning
• Models for entailment
• Limited reasoning in first-order knowledge bases
• Substructural logics: a primer
• Handbook of philosophical logic. Vol. 10
• Contradictory information: too much of a good thing
• Logics for epistemic programs
• Epistemic closure and commutative, nonassociative residuated structures
• Intensional logics and logical truth
• Explicit Provability and Constructive Semantics
• Information, Awareness and Substructural Logics
• Epistemic extensions of modal distributive substructural logics
• Epistemic logics for sceptical agents
• Dynamic consequence for soft information
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• THE LOGIC OF JUSTIFICATION
• Logical Pluralism
• Dynamic Epistemic Logic as a Substructural Logic
• DYNAMIC NEGATION AND NEGATIVE INFORMATION
• Classical intensional logics
• Semantics for relevant logics
• A nonstandard approach to the logical omniscience problem

This page was built for publication: Substructural epistemic logics