Essentialism in Modal Logic

Essentialism in quantified modal logic

✍ Thomas J. McKay 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 892 KB

Essentialism and Quantified Modal Logic

✍ Parsons, Terence 📂 Fiction 📅 0 🌐 English ⚖ 447 KB

Grades of Essentialism in Quantified Mod

Grades of Essentialism in Quantified Modal Logic

✍ Parsons, Terence 📂 Fiction 📅 0 🌐 English ⚖ 926 KB

Basic Modal Logic

✍ Pollock, John 📂 Fiction 📅 0 🌐 English ⚖ 1 MB

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