✦ LIBER ✦

Action and Knowledge in Alternating-Time Temporal Logic

✍ Scribed by Thomas Ågotnes

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 275 KB
Volume: 149
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-005-3875-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Alternating automata and temporal logic

Alternating automata and temporal logic normal forms

✍ Clare Dixon; Alexander Bolotov; Michael Fisher 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 281 KB

Fully Symbolic Unbounded Model Checking

Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1

✍ Magdalena Kacprzak; Wojciech Penczek 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 395 KB

Temporal logic issues in music knowledge

Temporal logic issues in music knowledge representation

✍ Antonio Camurri 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 421 KB

Time-extraction for temporal logic-logic

Time-extraction for temporal logic-logic programming and local process time

✍ Takashi Hattori 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 783 KB

Temporal logic is useful to describe a variety of computer systems such as operating systems and real-time process control systems, where explicit treatment of time plays an essential role. In the logic, the notion of time is represented by a sequence of states at each point in time, which is called

Workplace Logics, Kinds of Knowledge and

Workplace Logics, Kinds of Knowledge and Action Research

✍ Thomas Hansson 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 244 KB

A Sat-Based Approach to Unbounded Model

A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic

✍ M. Kacprzak; W. Penczek 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 210 KB