Search for persons
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 ,
2
On an Ecumenical Natural Deduction with Stoup. Part I: The ..:
, In:
?
4
Logic, Language, Information, and Computation: 28th Interna..
Lecture Notes in Computer Science, 13468
?
Automated Reasoning; Lecture Notes in Computer Science ,
7
Non-associative, Non-commutative Multi-modal Linear Logic:
, In:
?
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 ,
11
Ecumenical Modal Logic:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
13
A Game Model for Proofs with Costs:
, In:
?
Logical Foundations of Computer Science; Lecture Notes in Computer Science ,
14