Dual systems of tableaux and sequents for PLTL
type: Item
instance of: scholarly article
title: Dual systems of tableaux and sequents for PLTL
zbMATH Open document ID: 1183.68596
author: Jose Gaintzarain
author: M. Hermo
author: P. Lucio
author: Marisa Navarro
author: Fernando Orejas
published in: The Journal of Logic and Algebraic Programming
publication date: 2009-11-04T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 5624925
zbMATH Keywords: temporal logic
zbMATH Keywords: tableaux
zbMATH Keywords: invariant-free
zbMATH Keywords: sequent calculi
zbMATH Keywords: cut-free
describes a project that uses: TTM
MaRDI profile type: Publication
full work available at URL: j.jlap.2009.05.001
OpenAlex ID: W1979014177
cites work: One-Pass Tableaux for Computation Tree Logic
cites work: Q3509048
cites work: Cut-free sequent systems for temporal logic
cites work: Q4012170
cites work: Systematic semantic tableaux for PLTL
cites work: A Cut-Free and Invariant-Free Sequent Calculus for PLTL
cites work: Q5610986
cites work: Tableau methods for modal and temporal logics
cites work: Propositional temporal logics: decidability and completeness
cites work: Q3496314
cites work: Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
cites work: Schlussweisen-Kalküle der Prädikatenlogik
cites work: Q3838819
cites work: The complexity of propositional linear temporal logics
cites work: Q4860769
cites work: Q5605873
cites work: Temporal logic can be more expressive
DOI: 10.1016/J.JLAP.2009.05.001
Recommended article: Q3142560
Recommended article: Sequent systems for PLTL
Recommended article: Systematic semantic tableaux for PLTL
Recommended article: Finite sequent calculi for PLTL
Recommended article: Foundations of Software Science and Computational Structures
Recommended article: A Cut-Free and Invariant-Free Sequent Calculus for PLTL
Recommended article: PTL sequent calculus system
Recommended article: Prefixed Tableau Systems for Logic of Proofs and Provability
Recommended article: Dual tableau for monoidal triangular norm logic MTL
Recommended article: A tableau style proof system for two paraconsistent logics
description: scientific article; zbMATH DE number 5624925