๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Clausal resolution in a logic of rational agency

โœ Scribed by Clare Dixon; Michael Fisher; Alexander Bolotov

Book ID
108306915
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
342 KB
Volume
139
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A clausal resolution method for extended
A clausal resolution method for extended computation tree logic ECTL
โœ Alexander Bolotov; Artie Basukoski ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 255 KB

A temporal clausal resolution method was originally developed for linear time temporal logic and further extended to the branching-time framework of Computation Tree Logic (CTL). In this paper, following our general idea to expand the applicability of this efficient method to more expressive formali