✦ LIBER ✦

Investigations into quantified modal logic-I

✍ Scribed by Zane Parks

Publisher: Springer Netherlands
Year: 1976
Tongue: English
Weight: 952 KB
Volume: 35
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02120875

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Unifying Quantified Modal Logic

✍ James W. Garson 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 292 KB

Essentialism and Quantified Modal Logic

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

Essentialism in quantified modal logic

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

Quantified Modal Logic With Rigid Terms

✍ Giovanna Corsi 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 511 KB

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS

✍ Geir Waagbø; G. Waagbø 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 503 KB

## Abstract The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting fo

Descriptions, essences and quantified mo

Descriptions, essences and quantified modal logic

✍ John Woods 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 929 KB