✦ LIBER ✦

A method to generate formulas for temporal logic satisfiability checkers

✍ Scribed by Toshifusa Sekizawa; Toshinori Takai; Yoshinori Tanabe; Koichi Takahashi

Publisher: John Wiley and Sons
Year: 2007
Tongue: English
Weight: 436 KB
Volume: 90
Category: Article
ISSN: 8756-663X
DOI: 10.1002/ecjb.20410

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A generic logical-temporal performance a

A generic logical-temporal performance analysis method for complex systems

✍ Romain Kervarc; Jean Bourrely; Claire Quillien 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 439 KB

A general tableau method for proposition

A general tableau method for propositional interval temporal logics: Theory and implementation

✍ V. Goranko; A. Montanari; P. Sala; G. Sciavicco 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 327 KB

In this paper, we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for

A Method for Finding Formulae Correspond

A Method for Finding Formulae Corresponding to First Order Universal Decision Elements in m-Valued Logic

✍ John Loader 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 635 KB