An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

Patrick Blackburn; Torben Braüner; Julie Lundbak Kofod

doi:10.1007/978-3-031-39784-4_8

An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

Patrick Blackburn, Torben Braüner^*, Julie Lundbak Kofod

^*Corresponding author

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Abstract

We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.

Originalsprog	Engelsk
Titel	Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings
Redaktører	Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
Antal sider	17
Forlag	Springer
Publikationsdato	2023
Sider	118-134
ISBN (Trykt)	9783031397837
DOI	https://doi.org/10.1007/978-3-031-39784-4_8
Status	Udgivet - 2023
Begivenhed	Proceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023 - Halifax, Canada Varighed: 11 jul. 2023 → 14 jul. 2023

Konference

Konference	Proceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023
Land/Område	Canada
By	Halifax
Periode	11/07/2023 → 14/07/2023

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	13923 LNCS
ISSN	0302-9743

Finansiering

Link til dokument

10.1007/978-3-031-39784-4_8

An Axiom System for Basic Hybrid Logic with Propositional QuantifiersAccepteret manuskript, 392 KBLicens: Andet

Citer dette

Blackburn, Patrick ; Braüner, Torben ; Kofod, Julie Lundbak. / An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. red. / Helle Hvid Hansen ; Andre Scedrov ; Ruy J.G.B. de Queiroz. Springer, 2023. s. 118-134 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13923 LNCS).

@inproceedings{c9eb17f5836d437e950830acf6bedd1f,

title = "An Axiom System for Basic Hybrid Logic with Propositional Quantifiers",

abstract = "We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.",

author = "Patrick Blackburn and Torben Bra{\"u}ner and Kofod, {Julie Lundbak}",

year = "2023",

doi = "10.1007/978-3-031-39784-4_8",

language = "English",

isbn = "9783031397837",

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

publisher = "Springer",

pages = "118--134",

editor = "Hansen, {Helle Hvid} and Andre Scedrov and {de Queiroz}, {Ruy J.G.B.}",

booktitle = "Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings",

note = "Proceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023 ; Conference date: 11-07-2023 Through 14-07-2023",

}

Blackburn, P , Braüner, T & Kofod, JL 2023, An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. i HH Hansen, A Scedrov & RJGB de Queiroz (red), Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 13923 LNCS, s. 118-134, Proceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023, Halifax, Canada, 11/07/2023. https://doi.org/10.1007/978-3-031-39784-4_8

An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. / Blackburn, Patrick ; Braüner, Torben; Kofod, Julie Lundbak.
Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. red. / Helle Hvid Hansen; Andre Scedrov; Ruy J.G.B. de Queiroz. Springer, 2023. s. 118-134 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13923 LNCS).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

AU - Blackburn, Patrick

AU - Braüner, Torben

AU - Kofod, Julie Lundbak

PY - 2023

Y1 - 2023

N2 - We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.

AB - We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.

U2 - 10.1007/978-3-031-39784-4_8

DO - 10.1007/978-3-031-39784-4_8

M3 - Article in proceedings

AN - SCOPUS:85172732197

SN - 9783031397837

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

SP - 118

EP - 134

BT - Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings

A2 - Hansen, Helle Hvid

A2 - Scedrov, Andre

A2 - de Queiroz, Ruy J.G.B.

PB - Springer

T2 - Proceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023

Y2 - 11 July 2023 through 14 July 2023

ER -

Blackburn P , Braüner T, Kofod JL. An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. I Hansen HH, Scedrov A, de Queiroz RJGB, red., Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. Springer. 2023. s. 118-134. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13923 LNCS). doi: 10.1007/978-3-031-39784-4_8