Sano, K and Stell, JG (2017) Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. In: Electronic Proceedings in Theoretical Computer Science. Ninth Workshop on Methods for Modalities (M4M9 2017), 08-09 Jan 2017, Indian Institute of Technology, Kanpur, India. Open Publishing Association , pp. 105-121.
Abstract
Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is ‘stable’ with respect to this pre-order. BIST logics are extensions of a logic, BiSKt, which arose in the semantic context of hypergraphs, since a special case of the pre-order can represent the incidence structure of a hypergraph. In this paper we provide, for the first time, a Hilbert-style axiomatisation of BISKt and prove the strong completeness of BiSKt. We go on to prove strong completeness of a class of BIST logics obtained by extending BiSKt by formulas of a certain form. Moreover we show that the finite model property and the decidability hold for a class of BIST logics.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © K. Sano and J. G. Stell. This work is licensed under the Creative Commons Attribution License. |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 22 Nov 2016 10:29 |
Last Modified: | 28 Feb 2024 14:17 |
Published Version: | http://eptcs.web.cse.unsw.edu.au/paper.cgi?M4M9.8 |
Status: | Published |
Publisher: | Open Publishing Association |
Identification Number: | 10.4204/eptcs.243.8 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:107944 |