Personensuche
X
?
1
Twenty Years of Theoretical and Practical Synergies: 20th C..
Lecture Notes in Computer Science, 14773
?
Synthese Library; Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction ,
3
On an Ecumenical Natural Deduction with Stoup. Part I: The ..:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
4
Non-associative, Non-commutative Multi-modal Linear Logic:
, In:
?
7
Logic, Language, Information, and Computation: 28th Interna..
Lecture Notes in Computer Science, 13468
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
8
A Pure View of Ecumenical Modalities:
, In:
?
Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications ,
10
Ecumenical Modal Logic:
, In:
?
Logical Foundations of Computer Science; Lecture Notes in Computer Science ,
13
Countermodel Construction via Optimal Hypersequent Calculi ..:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
15