Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319669014, 9783319669021

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Forward Unprovability Calculus for Intuitionistic Propositional Logic

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_7 ◽

2017 ◽

pp. 114-130 ◽

Cited By ~ 1

Author(s):

Camillo Fiorentini ◽

Mauro Ferrari

Keyword(s):

Propositional Logic ◽

Intuitionistic Propositional Logic

Download Full-text

Hypersequent Calculi for Lewis’ Conditional Logics with Uniformity and Reflexivity

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_8 ◽

2017 ◽

pp. 131-148 ◽

Cited By ~ 1

Author(s):

Marianna Girlando ◽

Björn Lellmann ◽

Nicola Olivetti ◽

Gian Luca Pozzato

Keyword(s):

Hypersequent Calculi

Download Full-text

Minimisation of ATL $$^*$$ ∗ Models

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_12 ◽

2017 ◽

pp. 193-208

Author(s):

Serenella Cerrito ◽

Amélie David

Download Full-text

Proof Theory for Indexed Nested Sequents

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_5 ◽

2017 ◽

pp. 81-97

Author(s):

Sonia Marin ◽

Lutz Straßburger

Keyword(s):

Proof Theory ◽

Nested Sequents

Download Full-text

Integrating a Global Induction Mechanism into a Sequent Calculus

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_17 ◽

2017 ◽

pp. 278-294

Author(s):

David M. Cerna ◽

Michael Lettmann

Keyword(s):

Sequent Calculus ◽

Induction Mechanism

Download Full-text

Interpreting Sequent Calculi as Client-Server Games

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_6 ◽

2017 ◽

pp. 98-113 ◽

Cited By ~ 1

Author(s):

Christian G. Fermüller ◽

Timo Lang

Keyword(s):

Sequent Calculi ◽

Client Server

Download Full-text

Non-clausal Connection Calculi for Non-classical Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_13 ◽

2017 ◽

pp. 209-227 ◽

Cited By ~ 3

Author(s):

Jens Otten

Download Full-text

Parameterized Provability in Equational Logic

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_22 ◽

2017 ◽

pp. 364-380

Author(s):

Mateus de Oliveira Oliveira

Keyword(s):

Equational Logic

Download Full-text

VINTE: An Implementation of Internal Calculi for Lewis’ Logics of Counterfactual Reasoning

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_9 ◽

2017 ◽

pp. 149-159 ◽

Cited By ~ 2

Author(s):

Marianna Girlando ◽

Björn Lellmann ◽

Nicola Olivetti ◽

Gian Luca Pozzato ◽

Quentin Vitalis

Keyword(s):

Counterfactual Reasoning

Download Full-text

On the Decidability of Certain Semi-Lattice Based Modal Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-66902-1_3 ◽

2017 ◽

pp. 44-61

Author(s):

Katalin Bimbó

Keyword(s):

Modal Logics

Download Full-text

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Forward Unprovability Calculus for Intuitionistic Propositional Logic

Hypersequent Calculi for Lewis’ Conditional Logics with Uniformity and Reflexivity

Minimisation of ATL $$^*$$ ∗ Models

Proof Theory for Indexed Nested Sequents

Integrating a Global Induction Mechanism into a Sequent Calculus

Interpreting Sequent Calculi as Client-Server Games

Non-clausal Connection Calculi for Non-classical Logics

Parameterized Provability in Equational Logic

VINTE: An Implementation of Internal Calculi for Lewis’ Logics of Counterfactual Reasoning

On the Decidability of Certain Semi-Lattice Based Modal Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications