First degree entailment with group attitudes and information updates

DOI10.1007/978-3-662-60292-8_20MaRDI QIDQ2291244zbMATH OpenOpenAlexFDO

Authors Igor Sedlár, Vít Punčochář, Andrew Tedder

Publication date 30 January 2020

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

zbMATH Keywords

common knowledgeepistemic logicLambek calculusinformation updatefirst degree entailment

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1537935
• A First-order Logic for Reasoning about Knowledge and Probability
• Logics for epistemic programs
• Dynamic epistemic logic in update logic
• Epistemic Logics of Structured Intensional Groups

Cited in

(1)

• Epistemic Logics of Structured Intensional Groups

This page was built for publication: First degree entailment with group attitudes and information updates

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