A clausal resolution method for branching-time logic \(\text{ECTL}^+\)
type: Item
instance of: scholarly article
title: A clausal resolution method for branching-time logic \(\text{ECTL}^+\)
zbMATH Open document ID: 1112.03010
author: Alexander Bolotov
author: Artie Basukoski
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2007-01-24T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5118382
zbMATH Keywords: automated deduction
zbMATH Keywords: branching-time logic
zbMATH Keywords: program specification and verification
zbMATH Keywords: resolution
MaRDI profile type: Publication
full work available at URL: s10472-006-9018-1
OpenAlex ID: W1983538726
cites work: Resolution theorem proving
cites work: A clausal resolution method for CTL branching-time temporal logic
cites work: A clausal resolution method for extended computation tree logic ECTL
cites work: Modal logics and mu-calculi: An introduction
cites work: Decision procedures and expressiveness in the temporal logic of branching time
cites work: “Sometimes” and “not never” revisited
cites work: Deciding full branching time logic
cites work: Q4012170
cites work: Q3768883
DOI: 10.1007/S10472-006-9018-1
description: scientific article; zbMATH DE number 5118382