✦ LIBER ✦

Set theory as modal logic

✍ Scribed by Herman Dishkant

Publisher: Springer Netherlands
Year: 1980
Tongue: English
Weight: 601 KB
Volume: 39
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00713543

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal logic and model theory

✍ Giangiacomo Gerla; Virginia Vaccaro 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 880 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.

Set theory and free logic

✍ Ermanno Bencivenga 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 696 KB

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

Cumulative Higher-Order Logic as a Found

Cumulative Higher-Order Logic as a Foundation for Set Theory

✍ Wolfgang Degen; Jan Johannsen 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 388 KB

Łukasiewicz logic and fuzzy set theory

✍ R. Giles 📂 Article 📅 1976 🏛 Elsevier Science ⚖ 1008 KB

A new form of logic is described, originally developed for the formalization of physical theories, the essential feature being a "fuzzification" of the concept of a proposition. A proposition is not regarded as being necessarily true or false; it is defined not via truth conditions but in terms of a