Modelling a dialog with public announcements

zbMATH Open1338.03022MaRDI QIDQ2804049

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)

Related Items (1)

Altenatives to Kripke semantics for epistemic logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Abstract models for dialogue protocols 👍 👎
• Dialog based on verbal specifications of conceptual models 👍 👎
• A mathematical model of dialog 👍 👎
• Dialogue Modelling for a Conversational Agent 👍 👎

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)