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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319669014, 9783319669021
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Hypersequent Calculi for Lewis’ Conditional Logics with Uniformity and Reflexivity

2017 ◽  
pp. 131-148 ◽  
Author(s):  
Marianna Girlando ◽  
Björn Lellmann ◽  
Nicola Olivetti ◽  
Gian Luca Pozzato
Keyword(s):  
Hypersequent Calculi

Minimisation of ATL $$^*$$ ∗ Models

2017 ◽  
pp. 193-208
Author(s):  
Serenella Cerrito ◽  
Amélie David

scholarly journals Proof Theory for Indexed Nested Sequents

2017 ◽  
pp. 81-97
Author(s):  
Sonia Marin ◽  
Lutz Straßburger
Keyword(s):  
Proof Theory ◽  
Nested Sequents

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

2017 ◽  
pp. 149-159 ◽  
Author(s):  
Marianna Girlando ◽  
Björn Lellmann ◽  
Nicola Olivetti ◽  
Gian Luca Pozzato ◽  
Quentin Vitalis
Keyword(s):  
Counterfactual Reasoning
Load More ...
Sign in / Sign up

Export Citation Format

Share Document