Reasoning in a restricted temporal logic
type: Item
instance of: scholarly article
title: Reasoning in a restricted temporal logic
zbMATH Open document ID: 0771.03007
author: S. Singh
published in: Information and Computation
publication date: 1993-05-16T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 165624
zbMATH Keywords: eventually
zbMATH Keywords: always
zbMATH Keywords: interval modal logic
zbMATH Keywords: linear time propositional temporal logic
zbMATH Keywords: distributed systems
zbMATH Keywords: satisfiability
zbMATH Keywords: \(\omega\)-regular languages
zbMATH Keywords: reasoning about communication systems
MaRDI profile type: Publication
full work available at URL: inco.1993.1006
OpenAlex ID: W2025713304
DOI: 10.1006/INCO.1993.1006
description: scientific article; zbMATH DE number 165624