some image logo

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