Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics

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

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Sano, K
  • Stell, JG
Copyright, Publisher and Additional Information: © K. Sano and J. G. Stell. This work is licensed under the Creative Commons Attribution License.
Dates:
  • Accepted: 5 November 2016
  • Published: 6 March 2017
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: https://doi.org/10.4204/eptcs.243.8

Export

Statistics