✦ LIBER ✦

On Expressivity and Compositionality in Logics for Coalgebras

✍ Scribed by Corina Cîrstea

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 242 KB
Volume: 82
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80635-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the expressivity and complexity of qu

On the expressivity and complexity of quantitative branching-time temporal logics

✍ F. Laroussinie; Ph. Schnoebelen; M. Turuani 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 347 KB

We investigate extensions of CTL allowing to express quantitative requirements about an abstract notion of time in a simple discrete-time framework, and study the expressive power of several relevant logics. When only subscripted modalities are used, polynomial-time model checking is possible even

On the expressivity of feature logics wi

On the expressivity of feature logics with negation, functional uncertainty, and sort equations

✍ Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 1013 KB

On the expressive power of temporal logi

On the expressive power of temporal logic for infinite words

✍ Joëlle Cohen-Chesnot 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 744 KB

A Companion to Philosophical Logic || Pr

A Companion to Philosophical Logic || Proofs and Expressiveness in Alethic Modal Logic

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 146 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Expressing logical and temporal conditio

Expressing logical and temporal conditions in simulation environments: TPDL∗

✍ Gianpiero Cabodi; Paolo Camurati; Paolo Prinetto; Matteo Sonza Reorda 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 753 KB

On variable separation in modal and supe

On variable separation in modal and superintuitionistic logics

✍ Larisa Maksimova 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 746 KB