✦ LIBER ✦

Self-dual primitives for modal logic

✍ Scribed by Alan Rose

Publisher: Springer
Year: 1952
Tongue: English
Weight: 138 KB
Volume: 125
Category: Article
ISSN: 0025-5831
DOI: 10.1007/bf01343122

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some self-dual primitive functions for P

Some self-dual primitive functions for Propositional Calculi

✍ Alan Rose 📂 Article 📅 1953 🏛 Springer 🌐 English ⚖ 274 KB

Modal sequents for normal modal logics

✍ Claudio Cerrato 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

## Abstract We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03

Self-dual transformations in multivalued

Self-dual transformations in multivalued logics

✍ I. É. Strazdin' 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 903 KB

A warning about the choice of primitive

A warning about the choice of primitive operators in modal logic

✍ David Makinson 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 211 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.

Modal Logics for Cryptographic Processes

✍ Ulrik Frendrup; Hans Hüttel; Jesper Nyholm Jensen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 214 KB