HOME
SEARCH
CURRENT ISSUE
REGULAR ISSUES
SPECIAL ISSUES
Recent
In Progress
Archive
Proposal
SURVEY ARTICLES
AUTHORS
ABOUT
SERVICE
LOGIN
FAQ
SUPPORT
CONTACT
SPECIAL ISSUE:
Special Issue of the Conference "Automated Reasoning with Analytic Tableaux and Related Methods 2009"
Oslo, Norway, 2009
Preface
M. Giese and A. Waaler
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Silvio Ghilardi and Silvio Ranise
On Constructive Connectives and Systems
Arnon Avron and Ori Lahav
Generic Modal Cut Elimination Applied to Conditional Logics
Dirk Pattinson and Lutz Schröder
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Mark Kaminski, Sigurd Schneider and Gert Smolka
Automated Synthesis of Tableau Calculi
Renate A. Schmidt and Dmitry Tishkovsky
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Rajeev Goré, Linda Postniece and Alwen F. Tiu
Towards a Proof Theory of Gödel Modal Logics
George Metcalfe and Nicola Olivetti
DOI: 10.2168/LMCS-TABLEAUX:2009
Creative Commons
