Decidable temporal and sequential relevant logics*
type: Item
instance of: scholarly article
title: Decidable temporal and sequential relevant logics*
zbMATH Open document ID: 1444.03081
author: Norihiro Kamide
publication date: 2019-01-31T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7009524
zbMATH Keywords: relevant logic
zbMATH Keywords: linear-time temporal logic
zbMATH Keywords: completeness
zbMATH Keywords: cut elimination
zbMATH Keywords: decidability
MaRDI profile type: MaRDI publication profile
full work available at URL: exx041
OpenAlex ID: W2769987433
DOI: 10.1093/LOGCOM/EXX041
Recommended article: A Decidable Intuitionistic Temporal Logic
Recommended article: A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning
Recommended article: Propositional temporal logics: decidability and completeness
Recommended article: Q5445173
Recommended article: Decidable fragments of first-order temporal logics
Recommended article: Q4834484
Recommended article: Decidable temporal dynamic description logic
Recommended article: Q4472440
Recommended article: Q4733376
Recommended article: Temporal Logics
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 7009524