Loop-check specification for a sequent calculus of temporal logic

DOI10.1007/S11225-022-10010-9MaRDI QIDQ2106881zbMATH OpenOpenAlexWikidataFDO

Authors Romas Alonderis, Aida Pliuškevičienė, Haroldas Giedra, R. Pliuškevičius

Publication date 29 November 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-022-10010-9

zbMATH Keywords

derivation loopssequent calculitemporal logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Restrictions for loop-check in sequent calculus for temporal logic
• Loop-type sequent calculi for temporal logic
• Restrictions for loop-check in sequent calculus for temporal logic with until operator
• Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
• Specification and verification using temporal logics
• A derivation-loop method for temporal logic
• Temporal logics for concurrent recursive programs: satisfiability and model checking
• Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
• Temporal logic and model checking for operator precedence languages
• A model checker for linear time temporal logic

Cites work

• A completeness proof for an infinitary tense-logic
• A cut-free cyclic proof system for Kleene algebra
• A Proof System for the Linear Time μ-Calculus
• Automated Reasoning with Analytic Tableaux and Related Methods
• Automatically verifying temporal properties of pointer programs with cyclic proof
• Contraction-free calculi for modal logics S5 and KD45
• Contraction-free sequent calculi for intuitionistic logic
• Cut-free sequent systems for temporal logic
• Cyclic Proofs for Linear Temporal Logic
• Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
• Efficient loop-check for backward proof search in some non-classical propositional logics
• scientific article; zbMATH DE number 4210108 (Why is no real title available?)
• scientific article; zbMATH DE number 4170873 (Why is no real title available?)
• scientific article; zbMATH DE number 3937153 (Why is no real title available?)
• scientific article; zbMATH DE number 2095640 (Why is no real title available?)
• scientific article; zbMATH DE number 7297836 (Why is no real title available?)
• scientific article; zbMATH DE number 970622 (Why is no real title available?)
• Loop-type sequent calculi for temporal logic

Cited in

(3)

• An algorithmic approach for checking closure properties of temporal logic specifications and -regular languages
• Restrictions for loop-check in sequent calculus for temporal logic
• Global condition check strategy for a cyclic sequent calculus of temporal logic

This page was built for publication: Loop-check specification for a sequent calculus of temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2106881)