✦ LIBER ✦

On an Axiomatic System of Modal Logic

✍ Scribed by Akira Nakamura

Publisher: John Wiley and Sons
Year: 1968
Tongue: English
Weight: 309 KB
Volume: 14
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19680140105

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analyzing completeness of axiomatic func

Analyzing completeness of axiomatic functional systems for temporal × modal logics

✍ Alfredo Burrieza; Inmaculada P. de Guzmán; Emilio Muñoz-Velasco 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 196 KB 👁 1 views

## Abstract In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective

On a Certain System of Modal Logic

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

On an Axiomatic System of the Infinitely

On an Axiomatic System of the Infinitely Many-Valued Threshold Logics

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

On a Simple Axiomatic System of the Infi

On a Simple Axiomatic System of the Infinitely Many-Valued Logic Based on ∧, →

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

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

On the Proof Theory of the Modal Logic G

On the Proof Theory of the Modal Logic Grz

✍ M. Borga; P. Gentilini 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views