Skip to Main content Skip to Navigation
Conference papers

Modular Sequent Systems for Modal Logic

Kai Brünnler Lutz Straßburger 1, 2
1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00436404
Contributor : Lutz Straßburger <>
Submitted on : Thursday, November 26, 2009 - 4:08:43 PM
Last modification on : Thursday, January 7, 2021 - 3:40:14 PM

Identifiers

  • HAL Id : inria-00436404, version 1

Collections

CNRS | INRIA | LIX | X-LIX | X | X-DEP-INFO

Citation

Kai Brünnler, Lutz Straßburger. Modular Sequent Systems for Modal Logic. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'09, 2009, Oslo, Norway. ⟨inria-00436404⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

610

 

Contact                    Legal Notice                    Personal Data