✦ LIBER ✦

“Everywhere” in predicate algebra and modal logic

✍ Scribed by Rutger M. Dijkstra

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 574 KB
Volume: 58
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(96)00055-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Many-valued modal logics: Uses and predi

Many-valued modal logics: Uses and predicate calculus

✍ Pascal Ostermann 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 564 KB

On the Undecidability of Monadic Modal P

On the Undecidability of Monadic Modal Predicate Logic

✍ Akira Nakamura 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB 👁 1 views

Prenex Normal Form in the Modal Predicat

Prenex Normal Form in the Modal Predicate Logic PS*S and the Grosseteste Algebra of Sets GS*S

✍ Robert L. Wilson 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 512 KB

BI-Modal Logic, Double-Closure Algebras,

BI-Modal Logic, Double-Closure Algebras, and Hilbert Space

✍ Jean E. Rubin 📂 Article 📅 1962 🏛 John Wiley and Sons 🌐 English ⚖ 822 KB

Normal derivability in modal logic

✍ Jan von Plato 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB

The standard rule of necessitation in systems of natural deduction for the modal logic S4 concludes A from A whenever all assumptions A depends on are modal formulas. This condition prevents the composability and normalization of derivations, and therefore modifications of the rule have been suggest

Bounded Properties in Modal Logic

✍ George F. Schumm 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 214 KB