Fibring semantic tableaux

Bernhard Beckert; Dov Gabbay

doi:10.1007/3-540-69778-0_15

Fibring semantic tableaux

Bernhard Beckert, Dov Gabbay

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 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 language	English
Title of host publication	Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1998, Proceedings
Publisher	Springer Verlag
Pages	77-92
Number of pages	16
ISBN (Print)	3540644067, 9783540644064
DOIs	https://doi.org/10.1007/3-540-69778-0_15
State	Published - 1998
Externally published	Yes
Event	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1998 - Oisterwijk, Netherlands Duration: 5 May 1998 → 8 May 1998

Publication series

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

Conference

Conference	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1998
Country/Territory	Netherlands
City	Oisterwijk
Period	5/05/98 → 8/05/98

Access to Document

10.1007/3-540-69778-0_15

Cite this

Beckert, B., & Gabbay, D. (1998). Fibring semantic tableaux. In Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1998, Proceedings (pp. 77-92). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1397 LNAI). Springer Verlag. https://doi.org/10.1007/3-540-69778-0_15

@inproceedings{e1d47c3b893348648dc7d382e7726060,

title = "Fibring semantic tableaux",

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.",

author = "Bernhard Beckert and Dov Gabbay",

year = "1998",

doi = "10.1007/3-540-69778-0_15",

language = "אנגלית",

isbn = "3540644067",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "77--92",

booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1998, Proceedings",

address = "גרמניה",

note = "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1998 ; Conference date: 05-05-1998 Through 08-05-1998",

}

Beckert, B & Gabbay, D 1998, Fibring semantic tableaux. in Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1397 LNAI, Springer Verlag, pp. 77-92, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1998, Oisterwijk, Netherlands, 5/05/98. https://doi.org/10.1007/3-540-69778-0_15

Fibring semantic tableaux. / Beckert, Bernhard; Gabbay, Dov.
Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1998, Proceedings. Springer Verlag, 1998. p. 77-92 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1397 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Fibring semantic tableaux

AU - Beckert, Bernhard

AU - Gabbay, Dov

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=41249101177&partnerID=8YFLogxK

U2 - 10.1007/3-540-69778-0_15

DO - 10.1007/3-540-69778-0_15

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:41249101177

SN - 3540644067

SN - 9783540644064

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 77

EP - 92

BT - Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 1998, Proceedings

PB - Springer Verlag

T2 - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1998

Y2 - 5 May 1998 through 8 May 1998

ER -

Fibring semantic tableaux

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this