Modelling a dialog with public announcements

zbMATH Open1338.03022MaRDI QIDQ2804049FDOQ2804049

Authors: Dimitriĭ Vladimirovich Zaĭtsev 

Publication date: 27 April 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

Recommendations

• Dialogue Modelling for a Conversational Agent
• scientific article; zbMATH DE number 4458
• scientific article
• A mathematical model of dialog
• Abstract models for dialogue protocols
• Dialog based on verbal specifications of conceptual models

zbMATH Keywords

Fitch-style natural deductionpublic announcementsenthymematic implication

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cited In (2)

• Reasoning dynamically about what one says
• Altenatives to Kripke semantics for epistemic logic

This page was built for publication: Modelling a dialog with public announcements

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