Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
Sticht, Martin (2018): Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4, in: Fundamenta Informaticae, Amsterdam [u.a.]: IOS Press, Jg. 161, Nr. 1/2, Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016, S. 191–218, doi: 10.3233/FI-2018-1700.
Faculty/Chair:
Author:
Title of the Journal:
Fundamenta Informaticae
ISSN:
0169-2968
Publisher Information:
Year of publication:
2018
Volume:
161
Issue:
1/2, Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016
Pages:
Language:
English
DOI:
URL:
Keywords:
dialogues, proof search, intuitionistic logic, modal logic, game theories, parallel reasoning
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Article
URI:
Activation date:
July 24, 2018

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/44251