First degree entailment with group attitudes and information updates

DOI10.1007/978-3-662-60292-8_20OpenAlexW2982373045MaRDI QIDQ2291244FDOQ2291244

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

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

zbMATH Keywords

common knowledgeepistemic logicLambek calculusinformation updatefirst degree entailment

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)