Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
Sticht, Martin, Fiorentini, Camillo, Momigliano, Alberto, Pettorossi, AlbertoVolume:
161
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2018-1700
Date:
July, 2018
File:
PDF, 409 KB
english, 2018