Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Modelling a dialog with public announcements

From MaRDI portal
Publication:2804049
Jump to:navigation, search

zbMATH Open1338.03022MaRDI QIDQ2804049FDOQ2804049


Authors: Dimitriĭ Vladimirovich Zaĭtsev Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2804049&oldid=15706648"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 17:26. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki