Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

Daniel Gaina, Ionut Tutu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

123 Downloads (Pure)
Original languageEnglish
Title of host publicationThe 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle of host publication3-5 September 2019, London, UK
PublisherSpringer
Pages277-293
Number of pages17
ISBN (Electronic)978-3-030-29026-9
ISBN (Print)978-3-030-29025-2
DOIs
Publication statusE-pub ahead of print - 14 Aug 2019
EventThe 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - Middlesex University, London, United Kingdom
Duration: 3 Sept 20195 Sept 2019
Conference number: 2019
https://www.tableaux2019.org/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11714

Conference

ConferenceThe 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Abbreviated titleTABLEAUX
Country/TerritoryUnited Kingdom
CityLondon
Period3/09/195/09/19
Internet address

Cite this