A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication

Julie Lundbak Kofod; Patrick Rowan Blackburn; Torben Braüner

A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication

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

Research output: Contribution to journal › Journal article › Research › peer-review

Abstract

In this paper we present a tableau proof system for basic hybrid logic extended with quantification over basic modal propositions, and prove its completeness with respect to general models. This paper is largely devoted to the technical details of the proof, but we also discuss the link with the philosophical work of Arthur Prior which led us to this system in the first place.

Original language	English
Journal	Logic Journal of the IGPL
ISSN	1367-0751
Publication status	Accepted/In press - 2024

Cite this

@article{df36067fc6d24f13be9b6a50dc74cbcb,

title = "A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication",

abstract = "In this paper we present a tableau proof system for basic hybrid logic extended with quantification over basic modal propositions, and prove its completeness with respect to general models. This paper is largely devoted to the technical details of the proof, but we also discuss the link with the philosophical work of Arthur Prior which led us to this system in the first place.",

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

year = "2024",

language = "English",

journal = "Logic Journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford Academic",

}

TY - JOUR

T1 - A Complete Tableau System for Basic Hybrid Logic with Propositional Quantication

AU - Kofod, Julie Lundbak

AU - Blackburn, Patrick Rowan

AU - Braüner, Torben

PY - 2024

Y1 - 2024

N2 - In this paper we present a tableau proof system for basic hybrid logic extended with quantification over basic modal propositions, and prove its completeness with respect to general models. This paper is largely devoted to the technical details of the proof, but we also discuss the link with the philosophical work of Arthur Prior which led us to this system in the first place.

AB - In this paper we present a tableau proof system for basic hybrid logic extended with quantification over basic modal propositions, and prove its completeness with respect to general models. This paper is largely devoted to the technical details of the proof, but we also discuss the link with the philosophical work of Arthur Prior which led us to this system in the first place.

M3 - Journal article

SN - 1367-0751

JO - Logic Journal of the IGPL

JF - Logic Journal of the IGPL

ER -