An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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.

Original languageEnglish
Title of host publicationLogic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings
EditorsHelle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
Number of pages17
PublisherSpringer
Publication date2023
Pages118-134
ISBN (Print)9783031397837
DOIs
Publication statusPublished - 2023
EventProceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023 - Halifax, Canada
Duration: 11 Jul 202314 Jul 2023

Conference

ConferenceProceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023
Country/TerritoryCanada
CityHalifax
Period11/07/202314/07/2023
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13923 LNCS
ISSN0302-9743

Cite this