Dialogue logic as dynamic logic

DOI10.2143/LEA.236.0.3186065MaRDI QIDQ5283791zbMATHOpenAlexFDO

Authors Roderic A. Girle

Publication date 25 July 2017

Full work available at URL https://espace.library.uq.edu.au/view/UQ:468105

zbMATH Keywords

dynamic logicdialogue logicpossible world semantics, commitment sets

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• How Agents Alter Their Beliefs After an Argumentation-Based Dialogue
• \textsc{DiaLog}: a system for dialogue logic
• Four dialogue systems
• Noncumulative dialectical models and formal dialectics
• Interactions between knowledge, action and commitment within agent dynamic logic

Cited in

(10)

• scientific article; zbMATH DE number 4047679 (Why is no real title available?)
• How Agents Alter Their Beliefs After an Argumentation-Based Dialogue
• scientific article; zbMATH DE number 1749145 (Why is no real title available?)
• Reasoning dynamically about what one says
• BDI logic applied to a dialogical interpretation of human–machine cooperative dialogues
• scientific article; zbMATH DE number 5129601 (Why is no real title available?)
• Dialogical connexive logic
• Multi-party persuasion: a paraconsistent approach
• Dynamic logic of propositional commitments
• More on non-cooperation in dialogue logic

This page was built for publication: Dialogue logic as dynamic logic

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