Synchronized linear-time temporal logic
type: Item
instance of: scholarly article
title: Synchronized linear-time temporal logic
zbMATH Open document ID: 1271.03026
author: Heinrich Wansing
author: Norihiro Kamide
published in: Studia Logica
publication date: 2011-11-23T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 5977611
zbMATH Keywords: linear-time temporal logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: display calculus
zbMATH Keywords: cut-elimination
zbMATH Keywords: completeness
MaRDI profile type: Publication
full work available at URL: s11225-011-9357-8
OpenAlex ID: W2086839141
cites work: Analysis and synthesis of logics. How to cut and paste reasoning systems
cites work: Many-dimensional modal logics: theory and applications
cites work: Gaggles, Gentzen and Galois: how to display your favourite substructural logic
cites work: Q4385542
cites work: Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
cites work: Combining linear-time temporal logic with constructiveness and paraconsistency
cites work: A Paraconsistent Linear-time Temporal Logic
cites work: Sequential Calculus for a First Order Infinitary Temporal Logic
cites work: Displaying and deciding substructural logics. I: Logics with contraposition
cites work: Displaying modal logic
cites work: Some remarks on the consequence operation in sentential logics
cites work: Theory of logical calculi. Basic theory of consequence operations
DOI: 10.1007/S11225-011-9357-8
description: scientific article; zbMATH DE number 5977611