Journal of Logic, Language and Information
Display Calculi for Logics with Relative Accessibility Relations
Journal of Logic, Language and Information
Formalised Cut Admissibility for Display Logic
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Cut-Free Display Calculi for Nominal Tense Logics
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Tractable Transformations from Modal Provability Logics into First-Order Logic
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Modular Sequent Systems for Modal Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Paraconsistent Linear-time Temporal Logic
Fundamenta Informaticae
Craig interpolation in displayable logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
A hypersequent system for gödel-dummett logic with non-constant domains
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Synchronized Linear-Time Temporal Logic
Studia Logica
Proof analysis in intermediate logics
Archive for Mathematical Logic
Labeled sequent calculi for modal logics and implicit contractions
Archive for Mathematical Logic
| Hi-index | 0.00 |