|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2013
Anzahl der Publikationen: 1
2013
Gratzl, Norbert
(2013):
Sequent Calculi for Multi-modal Logic with Interaction.
In: Grossi, Davide; Roy, Olivier und Huang, Huaxin (Hrsg.):
Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Bd. 8196. Berlin, Heidelberg: Springer Berlin Heidelberg. S. 124-134