✦ LIBER ✦

The Problem of Interpreting Modal Logic

✍ Scribed by Quine, W V

Year: 0
Tongue: English
Weight: 245 KB
Category: Fiction

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Modal Interpretation of the Logic of I

A Modal Interpretation of the Logic of Interrogation

✍ Rani Nelken; Chung-Chieh Shan 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 246 KB

Data storage interpretation of labeled m

Data storage interpretation of labeled modal logic

✍ Sergei Artëmov; Vladimir Krupski 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 919 KB

A modal interpretation of three-valued l

A modal interpretation of three-valued logic

✍ Peter W. Woodruff 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 364 KB

Logical problems of functional interpret

Logical problems of functional interpretations

✍ Justus Diller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 135 KB

G odel interpreted Heyting arithmetic HA in a "logic-free" fragment T0 of his theory T of primitive recursive functionals of ÿnite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is di erent-in particular m

Decidable modal logic with undecidable a

Decidable modal logic with undecidable admissibility problem

✍ A. V. Chagrov 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 514 KB

A spatial modal logic with a location in

A spatial modal logic with a location interpretation

✍ Norihiro Kamide 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB

A spatial modal logic (SML) is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space (or location) interpretation is obtained for SML. The finite model property with respect to the semantics for SML