Modelling a dialog with public announcements

MaRDI QIDQ2804049zbMATH OpenFDO

Authors Dimitriĭ Vladimirovich Zaĭtsev

Publication date 27 April 2016

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

Fitch-style natural deductionpublic announcementsenthymematic implication

Mathematics Subject Classification ID

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

Recommendations

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

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)