✦ LIBER ✦

Temporal logic of linearly orderedα-spaces

✍ Scribed by V. F. Murzina

Book ID: 106342060
Publisher: Springer US
Year: 2008
Tongue: English
Weight: 524 KB
Volume: 47
Category: Article
ISSN: 0002-5232
DOI: 10.1007/s10469-008-9032-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Modal Logic Based on Linearly Ordered(

A Modal Logic Based on Linearly Ordered(f)-Spaces

✍ V. F. Murzina 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 190 KB

Linearly ordered extensions of GO spaces

✍ Takuo Miwa; Nobuyuki Kemoto 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 510 KB

On an axiomatic system for the logic of

On an axiomatic system for the logic of linearly ordered BCI-matrices

✍ San-min Wang; Dao-Wu Pei 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 215 KB

Arithmetical axiomatization of first-ord

Arithmetical axiomatization of first-order temporal logic

✍ Andrzej Szalas 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 332 KB

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

The complexity space of a valued linearl

The complexity space of a valued linearly ordered set

✍ S. Romaguera; E.A. Sánchez-Pérez; O. Valero 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 191 KB