✦ LIBER ✦

Modal logic and model theory

✍ Scribed by Giangiacomo Gerla; Virginia Vaccaro

Publisher: Springer Netherlands
Year: 1984
Tongue: English
Weight: 880 KB
Volume: 43
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02429839

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Set theory as modal logic

✍ Herman Dishkant 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 601 KB

Modal Logic for Rewriting Theories

✍ Dirk Pattinson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 203 KB

We view models of rewrite theories enriched with observations coalgebraically. This allows us on the one hand to use "off the shelf" logics for coalgebras to specify and, on the other hand, to verify properties of rewriting programs and to obtain results about the expressive power of such languages.

Models for relevant modal logics

✍ André Fuhrmann 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 789 KB

Semantics are given for modal extensions of relevant logics based on the kind of frames introduced in I-7]. By means of a simple recipe we may obtain from a class FRM (L) of unreduced frames characterising a (non-modal) logic L, frame-classes FRM m (L:M) eharacterising conjunctively regular modal ex

Dempster–Shafer theory framed in modal l

Dempster–Shafer theory framed in modal logic

✍ Elena Tsiporkova; Veselka Boeva; Bernard De Baets 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 144 KB

Full Models for Positive Modal Logic

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

Contingency and modal logic

✍ Harry Deutsch 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 688 KB