Explicit and implicit belief in first degree entailment with strict implication

DOI10.1007/978-3-031-69940-5_17MaRDI QIDQ6943380zbMATH OpenFDO

Authors Igor Sedlár

Publication date 13 August 2025

Full work available at URL https://doi.org/10.1007/978-3-031-69940-5_17

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites work

• 40 years of FDE: an introductory overview
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• Alternative semantics for unawareness
• Belief, awareness, and limited reasoning
• Dynamic epistemic logic for implicit and explicit beliefs
• Explicit and implicit knowledge in neighbourhood models
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Models for relevant modal logics
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Negation in the context of gaggle theory
• Negation on the Australian plan
• On the logic of theory change: Partial meet contraction and revision functions
• On the theory of inconsistent formal systems
• Partiality and its dual
• Propositional dynamic logic with Belnapian truth values
• Raising awareness without disclosing truth
• Relevant epistemic logic with public announcements and common knowledge
• Relevant reasoners in a classical world
• Rethinking epistemic logic with belief bases
• Shrieking, shrugging, and the Australian plan
• The dynamics of awareness
• The logic of justification
• The logic of knowledge bases
• The Semantics of First Degree Entailment
• There is more to negation than modality
• Unawareness and partitional information structures

This page was built for publication: Explicit and implicit belief in first degree entailment with strict implication

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