Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4

DOI10.3233/FI-2018-1700zbMath1408.68139OpenAlexW2810247528MaRDI QIDQ4686519

Martin Sticht

Publication date: 2 October 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2018-1700

zbMATH Keywords

game theorymodal logicintuitionistic logicdialogueproof searchparallel reasoning

Mathematics Subject Classification ID

Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

On interactive proof-search for constructive modal necessity ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games

This page was built for publication: Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4