Epistemic closure and commutative, nonassociative residuated structures

DOI10.1007/S11229-010-9834-ZzbMATH Open1284.03146OpenAlexW2100764296MaRDI QIDQ2442889FDOQ2442889

Authors: Sebastian Sequoiah-Grayson 

Publication date: 1 April 2014

Published in: Synthese (Search for Journal in Brave)

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

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

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)

Cites Work

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

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)