Relevant reasoners in a classical world

MaRDI QIDQ5884975zbMATH OpenFDO

Authors Igor Sedlár

Publication date 24 March 2023

Full work available at URL https://arxiv.org/abs/2206.03109

zbMATH Keywords

epistemic logiclogical omnisciencenon-normal worldsrelevant logic

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)

Recommendations

• Relevant agents
• Epistemic logic with relevant agents
• Relevant epistemic logic with public announcements and common knowledge
• Epistemic logics for sceptical agents
• Relevant epistemic logic with public announcements and common knowledge

Cited in

(6)

• Relevant reasoning and implicit beliefs
• Relevant Reasoners in a Classical World
• A hyperintensional logic of non-prime evidence
• Epistemic logics for relevant reasoners
• First-order relevant reasoners in classical worlds
• Explicit and implicit belief in first degree entailment with strict implication

This page was built for publication: Relevant reasoners in a classical world

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5884975)