✦ LIBER ✦

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

✍ Scribed by Dov Gabbay; Valentin Shehtman

Book ID: 110406965
Publisher: Springer Netherlands
Year: 2002
Tongue: English
Weight: 945 KB
Volume: 72
Category: Article
ISSN: 0039-3215
DOI: 10.1023/a:1021304426509

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimal refinements of specifications in

Minimal refinements of specifications in modal and temporal logics

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 41 KB

Minimal refinements of specifications in

Minimal refinements of specifications in modal and temporal logics

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 552 KB

Approximations of modal logics: and beyo

Approximations of modal logics: and beyond

✍ Guilherme de Souza Rabello; Marcelo Finger 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 309 KB

Coalgebras and Modal Expansions of Logic

Coalgebras and Modal Expansions of Logics

✍ Alexander Kurz; Alessandra Palmigiano 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 324 KB

Non-primitive recursive decidability of

Non-primitive recursive decidability of products of modal logics with expanding domains

✍ D. Gabelaia; A. Kurucz; F. Wolter; M. Zakharyaschev 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 484 KB

The completeness of monotonic modal logi

The completeness of monotonic modal logics

✍ Brian F. Chellas; Audrey McKinney 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th