Cyclic Proofs for Linear Temporal Logic
type: Item
instance of: scholarly article
title: Cyclic Proofs for Linear Temporal Logic
zbMATH Open document ID: 1433.03052
DOI: 10.1515/9781501502620-011
author: Ioannis Kokkinis
author: Thomas Studer
published in: Concepts of Proof in Mathematics, Philosophy, and Computer Science
publication date: 2020-04-03T00:00:00Z
full work available at URL: ks16.pdf
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7185548
zbMATH Keywords: proof theory
zbMATH Keywords: temporal logic
MaRDI profile type: Publication
OpenAlex ID: W2506525304
Recommended article: Proving linearizability with temporal logic
Recommended article: Constructive linear-time temporal logic: proof systems and Kripke semantics
Recommended article: The axiomatization of propositional linear time temporal logic
Recommended article: An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
Recommended article: The temporal logic of linear time frames with inductions axiom
Recommended article: Bounded linear-time temporal logic: a proof-theoretic investigation
Recommended article: The complexity of propositional linear temporal logics
Recommended article: Loop-type sequent calculi for temporal logic
Recommended article: Intuitionistic Linear Temporal Logics
description: scientific article; zbMATH DE number 7185548