Loop-check specification for a sequent calculus of temporal logic
type: Item
instance of: scholarly article
title: Loop-check specification for a sequent calculus of temporal logic
author: Romas Alonderis
author: Aida Pliuškevičienė
author: Haroldas Giedra
author: R. Pliuškevičius
published in: Studia Logica
publication date: 2022-11-29T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7625363
zbMATH Keywords: temporal logics
zbMATH Keywords: sequent calculi
zbMATH Keywords: derivation loops
MaRDI profile type: Publication
full work available at URL: s11225-022-10010-9
OpenAlex ID: W4293692424
Wikidata QID: Q114017380
cites work: Q5144634
cites work: Loop-type sequent calculi for temporal logic
cites work: Contraction-free calculi for modal logics S5 and KD45
cites work: Automated Reasoning with Analytic Tableaux and Related Methods
cites work: Cut-free sequent systems for temporal logic
cites work: A cut-free cyclic proof system for Kleene algebra
cites work: A Proof System for the Linear Time μ-Calculus
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: Efficient loop-check for backward proof search in some non-classical propositional logics
cites work: Q5688801
cites work: Cyclic Proofs for Linear Temporal Logic
cites work: Q3496314
cites work: Q3358711
cites work: Q4809714
cites work: Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
cites work: A completeness proof for an infinitary tense-logic
cites work: Automatically verifying temporal properties of pointer programs with cyclic proof
cites work: Q3710510
DOI: 10.1007/S11225-022-10010-9
Recommended article: Restrictions for loop-check in sequent calculus for temporal logic
Recommended article: Loop-type sequent calculi for temporal logic
Recommended article: Restrictions for loop-check in sequent calculus for temporal logic with until operator
Recommended article: Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
Recommended article: Specification and Verification using Temporal Logics
Recommended article: A derivation-loop method for temporal logic
Recommended article: Temporal logics for concurrent recursive programs: satisfiability and model checking
Recommended article: Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
Recommended article: Q3384888
Recommended article: A model checker for linear time temporal logic
description: scientific article; zbMATH DE number 7625363