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





Professorship/Faculty: Foundations of Computer Science  
Authors: 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 / Size: 191-218
Language(s): English
DOI: 10.3233/FI-2018-1700
URL: https://content.iospress.com/articles/fundament...
Document Type: Article
Keywords: dialogues, proof search, intuitionistic logic, modal logic, game theories, parallel reasoning
Peer Reviewed: Ja
International Distribution: Ja
URI: https://fis.uni-bamberg.de/handle/uniba/44251
Release Date: 23. July 2018