Epistemic closure and commutative, nonassociative residuated structures

DOI10.1007/S11229-010-9834-ZMaRDI QIDQ2442889zbMATH OpenOpenAlexFDO

Authors Sebastian Sequoiah-Grayson

Publication date 1 April 2014

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-010-9834-z

zbMATH Keywords

NLPinformationclosureepistemic logicinteractioncommutationmobilesLambekresiduated structurescategorical grammarsnon-association

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

• Mono-agent dynamics
• Epistemic logic without closure
• Epistemic logics for sceptical agents
• Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism
• \(\in_K\): a non-Fregean logic of explicit knowledge

Cites work

• A positive information logic for inferential information
• Completeness Results for Lambek Syntactic Calculus
• DYNAMIC NEGATION AND NEGATIVE INFORMATION
• Dynamic epistemic logic
• Modal logic
• The Mathematics of Sentence Structure
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(6)

• Epistemic relevance and epistemic actions
• Substructural epistemic logics
• Epistemic logics for relevant reasoners
• The many faces of closure and introspection. An ineractive perspective
• Mono-agent dynamics
• A hyperintensional logic of non-prime evidence

This page was built for publication: Epistemic closure and commutative, nonassociative residuated structures

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