Dialogue logic as dynamic logic

DOI10.2143/LEA.236.0.3186065zbMath1396.03069OpenAlexW2588963225MaRDI QIDQ5283791

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)

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