Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
Faculty/Professorship: | Foundations of Computer Science |
Author(s): | Sticht, Martin ![]() |
Title of the Journal: | Fundamenta Informaticae |
ISSN: | 0169-2968 |
Publisher Information: | Amsterdam [u.a.] : IOS Press |
Year of publication: | 2018 |
Volume: | 161 |
Issue: | 1/2, Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016 |
Pages: | 191-218 |
Language(s): | English |
DOI: | 10.3233/FI-2018-1700 |
URL: | https://content.iospress.com/articles/fundament... |
Keywords: | dialogues, proof search, intuitionistic logic, modal logic, game theories, parallel reasoning |
Peer Reviewed: | Ja |
International Distribution: | Ja |
Type: | Article |
URI: | https://fis.uni-bamberg.de/handle/uniba/44251 |
Year of publication: | 24. July 2018 |

originated at the
University of Bamberg
University of Bamberg