Labelled tableaux for multi-modal logics

Guido Governatori

doi:10.1007/3-540-59338-1_29

Labelled tableaux for multi-modal logics

Guido Governatori

Artificial Intelligence and Cyber Futures Institute

Research output: Book chapter/Published conference paper › Conference paper › peer-review

22 Citations (Scopus)

Original language	English
Title of host publication	Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX 1995, Proceedings
Editors	Peter Baumgartner, Reiner Hahnle, Joachim Posegga
Publisher	Springer-Verlag Italia Srl
Pages	79-94
Number of pages	16
ISBN (Print)	3540593381, 9783540593386
DOIs	https://doi.org/10.1007/3-540-59338-1_29
Publication status	Published - 1995
Event	4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1995 - St. Goar, Germany Duration: 07 May 1995 → 10 May 1995

Publication series

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

Conference

Conference	4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1995
Country/Territory	Germany
City	St. Goar
Period	07/05/95 → 10/05/95

Access to Document

10.1007/3-540-59338-1_29

Cite this

Governatori, G. (1995). Labelled tableaux for multi-modal logics. In P. Baumgartner, R. Hahnle, & J. Posegga (Eds.), Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX 1995, Proceedings (pp. 79-94). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 918). Springer-Verlag Italia Srl. https://doi.org/10.1007/3-540-59338-1_29

Governatori, Guido. / Labelled tableaux for multi-modal logics. Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX 1995, Proceedings. editor / Peter Baumgartner ; Reiner Hahnle ; Joachim Posegga. Springer-Verlag Italia Srl, 1995. pp. 79-94 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fac36e0cbd6043ae8404223555abefdd,

title = "Labelled tableaux for multi-modal logics",

author = "Guido Governatori",

year = "1995",

doi = "10.1007/3-540-59338-1_29",

language = "English",

isbn = "3540593381",

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

publisher = "Springer-Verlag Italia Srl",

pages = "79--94",

editor = "Peter Baumgartner and Reiner Hahnle and Joachim Posegga",

booktitle = "Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX 1995, Proceedings",

address = "Italy",

note = "4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1995 ; Conference date: 07-05-1995 Through 10-05-1995",

}

Governatori, G 1995, Labelled tableaux for multi-modal logics. in P Baumgartner, R Hahnle & J Posegga (eds), Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX 1995, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 918, Springer-Verlag Italia Srl, pp. 79-94, 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1995, St. Goar, Germany, 07/05/95. https://doi.org/10.1007/3-540-59338-1_29

Labelled tableaux for multi-modal logics. / Governatori, Guido.
Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX 1995, Proceedings. ed. / Peter Baumgartner; Reiner Hahnle; Joachim Posegga. Springer-Verlag Italia Srl, 1995. p. 79-94 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 918).

Research output: Book chapter/Published conference paper › Conference paper › peer-review

TY - GEN

T1 - Labelled tableaux for multi-modal logics

AU - Governatori, Guido

PY - 1995

Y1 - 1995

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

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

U2 - 10.1007/3-540-59338-1_29

DO - 10.1007/3-540-59338-1_29

M3 - Conference paper

AN - SCOPUS:84949220981

SN - 3540593381

SN - 9783540593386

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

SP - 79

EP - 94

BT - Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX 1995, Proceedings

A2 - Baumgartner, Peter

A2 - Hahnle, Reiner

A2 - Posegga, Joachim

PB - Springer-Verlag Italia Srl

T2 - 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1995

Y2 - 7 May 1995 through 10 May 1995

ER -

Governatori G. Labelled tableaux for multi-modal logics. In Baumgartner P, Hahnle R, Posegga J, editors, Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX 1995, Proceedings. Springer-Verlag Italia Srl. 1995. p. 79-94. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-59338-1_29

Labelled tableaux for multi-modal logics

Publication series

Conference

Access to Document

Other files and links

Cite this