✦ LIBER ✦

Coalgebraic Semantics for Positive Modal Logic

✍ Scribed by Alessandra Palmigiano

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Institutionalising Many-Sorted Coalgebra

Institutionalising Many-Sorted Coalgebraic Modal Logic

✍ Corina Cîrstea 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 404 KB

Specifying Coalgebras with Modal Logic

✍ Alexander Kurz 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 845 KB

Definability, Canonical Models, Compactn

Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic

✍ Alexander Kurz; Dirk Pattinson 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 307 KB

Welding Semantics For Weak Strict Modal

Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics

✍ Richard Routley 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 784 KB

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS

✍ Geir Waagbø; G. Waagbø 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 503 KB

## Abstract The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting fo

Full Models for Positive Modal Logic

✍ Ramon Jansana 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 267 KB