✦ LIBER ✦

Unifying Quantified Modal Logic

✍ Scribed by James W. Garson

Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 292 KB
Volume: 34
Category: Article
ISSN: 0022-3611
DOI: 10.1007/s10992-005-3664-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Investigations into quantified modal log

Investigations into quantified modal logic-I

✍ Zane Parks 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 952 KB

Descriptions, essences and quantified mo

Descriptions, essences and quantified modal logic

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