Synchronized linear-time temporal logic

DOI10.1007/S11225-011-9357-8zbMath1271.03026OpenAlexW2086839141MaRDI QIDQ647400

Norihiro Kamide, Heinrich Wansing

Publication date: 23 November 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9357-8

zbMATH Keywords

completenesssequent calculuscut-eliminationdisplay calculuslinear-time temporal logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Related Items (2)

Inconsistency-Tolerant Multi-Agent Calculus ⋮ Temporal BI: proof system, semantics and translations

Cites Work

• Unnamed Item
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Theory of logical calculi. Basic theory of consequence operations
• Displaying and deciding substructural logics. I: Logics with contraposition
• Many-dimensional modal logics: theory and applications
• Displaying modal logic
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• A Paraconsistent Linear-time Temporal Logic
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Some remarks on the consequence operation in sentential logics

This page was built for publication: Synchronized linear-time temporal logic