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
Keywords: dialogues, proof search, intuitionistic logic, modal logic, game theories, parallel reasoning
Peer Reviewed: Ja
International Distribution: Ja
Type: Article
Year of publication: 24. July 2018