Fibring semantic tableaux

Bernhard Beckert, Dov Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Scopus citations

Abstract

The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for logical systems: we describe how to uniformly construct a sound and complete tableau calculus for the combined logic from calculi for the component logics. We consider semantic tableau calculi that satisfy certain conditions and are therefore known to be "well-behaved"-such that fibring is possible. The identification and formulation of conditions that are neither too weak nor too strong is a main contribution of this paper. As an example, we fibre tableau calculi for first order predicate logic and for the modal logic K.

Original languageEnglish
Title of host publicationAutomated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1998, Proceedings
PublisherSpringer Verlag
Pages77-92
Number of pages16
ISBN (Print)3540644067, 9783540644064
DOIs
StatePublished - 1998
Externally publishedYes
EventInternational Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1998 - Oisterwijk, Netherlands
Duration: 5 May 19988 May 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1397 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1998
Country/TerritoryNetherlands
CityOisterwijk
Period5/05/988/05/98

Fingerprint

Dive into the research topics of 'Fibring semantic tableaux'. Together they form a unique fingerprint.

Cite this