Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

Daniel Gaina; Ionut Tutu

doi:10.1007/978-3-030-29026-9_16

Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

Daniel Gaina
, Ionut Tutu

Department of Computer Science

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

188 Downloads (Pure)

Original language	English
Title of host publication	The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle of host publication	3-5 September 2019, London, UK
Publisher	Springer
Pages	277-293
Number of pages	17
ISBN (Electronic)	978-3-030-29026-9
ISBN (Print)	978-3-030-29025-2
DOIs	https://doi.org/10.1007/978-3-030-29026-9_16
Publication status	E-pub ahead of print - 14 Aug 2019
Event	The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - Middlesex University, London, United Kingdom Duration: 3 Sept 2019 → 5 Sept 2019 Conference number: 2019 https://www.tableaux2019.org/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	11714

Conference

Conference	The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Abbreviated title	TABLEAUX
Country/Territory	United Kingdom
City	London
Period	3/09/19 → 5/09/19
Internet address	https://www.tableaux2019.org/

Access to Document

10.1007/978-3-030-29026-9_16

Accepted ManuscriptAccepted author manuscript, 443 KB

Cite this

Gaina, D., & Tutu, I. (2019). Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. In The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK (pp. 277-293). (Lecture Notes in Computer Science; Vol. 11714). Springer. Advance online publication. https://doi.org/10.1007/978-3-030-29026-9_16

@inproceedings{7edbb3cb22374ed8b28dcfb15cc78733,

title = "Birkhoff Completeness for Hybrid-Dynamic First-Order Logic",

author = "Daniel Gaina and Ionut Tutu",

year = "2019",

month = aug,

day = "14",

doi = "10.1007/978-3-030-29026-9\_16",

language = "English",

isbn = "978-3-030-29025-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "277--293",

booktitle = "The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",

note = "The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX ; Conference date: 03-09-2019 Through 05-09-2019",

url = "https://www.tableaux2019.org/",

}

Gaina, D & Tutu, I 2019, Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. in The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK . Lecture Notes in Computer Science, vol. 11714, Springer, pp. 277-293, The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, London, United Kingdom, 3/09/19. https://doi.org/10.1007/978-3-030-29026-9_16

Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. / Gaina, Daniel; Tutu, Ionut.
The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK . Springer, 2019. p. 277-293 (Lecture Notes in Computer Science; Vol. 11714).

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

TY - GEN

T1 - Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

AU - Gaina, Daniel

AU - Tutu, Ionut

N1 - Conference code: 2019

PY - 2019/8/14

Y1 - 2019/8/14

U2 - 10.1007/978-3-030-29026-9_16

DO - 10.1007/978-3-030-29026-9_16

M3 - Conference contribution

SN - 978-3-030-29025-2

T3 - Lecture Notes in Computer Science

SP - 277

EP - 293

BT - The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

PB - Springer

T2 - The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Y2 - 3 September 2019 through 5 September 2019

ER -