Dialogue logic as dynamic logic

DOI10.2143/LEA.236.0.3186065zbMATH Open1396.03069OpenAlexW2588963225MaRDI QIDQ5283791FDOQ5283791

Authors: Roderic A. Girle 

Publication date: 25 July 2017

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

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

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)

Cited In (9)

• Reasoning dynamically about what one says
• Dialogical connexive logic
• Title not available (Why is that?)
• More on non-cooperation in dialogue logic
• Title not available (Why is that?)
• How Agents Alter Their Beliefs After an Argumentation-Based Dialogue
• Title not available (Why is that?)
• Dynamic logic of propositional commitments
• BDI logic applied to a dialogical interpretation of human–machine cooperative dialogues

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)