✦ LIBER ✦

Temporal Logics of Agency

✍ Scribed by Johan van Benthem; Eric Pacuit

Publisher: Springer Netherlands
Year: 2010
Tongue: English
Weight: 123 KB
Volume: 19
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-009-9120-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Editorial: Executable Temporal Logics

✍ M. FISHER; S. KONO; M.A. ORGUN 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 325 KB

Logical representations have been widely used in Computer Science and Artificial Intelligence (AI). In recent years, particularly with the advent of languages such as Prolog, the direct execution of such representations has been shown to be both feasible and useful. Logic-based languages have been u

Alternative semantics for temporal logic

Alternative semantics for temporal logics

✍ E.Allen Emerson 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 984 KB

Alternative semantics for temporal logic

Alternative semantics for temporal logics

✍ E. Allen Emerson 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 112 KB

Logical form and agency

✍ Douglas Walton 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 760 KB

A good deal of Donald Davidson's important and widely influential paper, 'The Logical Form of Action Sentences', 1 is taken up with demonstrating the failure of the Kenny-Chisholm-von Wright style 2 account of the syntax of agency to adequately cope with a varied collection of problems. The approach

Decidable fragments of first-order tempo

Decidable fragments of first-order temporal logics

✍ Ian Hodkinson; Frank Wolter; Michael Zakharyaschev 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 342 KB

In this paper, we introduce a new fragment of the ÿrst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satisÿability problem for monodic formulas in various linear time st

Completeness of temporal logics over inf

Completeness of temporal logics over infinite intervals

✍ Hanpin Wang; Qiwen Xu 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 252 KB

Interval temporal logics over inÿnite intervals are studied. First, the ordinary possible worlds models are extended to inÿnite possible world models. Accordingly, an axiomatic system is proposed and it has been proved complete. Secondly, inÿnite intervals are included in a logic over abstract inter