✦ LIBER ✦

Set-theoretic completeness for epistemic and conditional logic

✍ Scribed by Joseph Y. Halpern

Book ID: 110379866
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 228 KB
Volume: 26
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1018942425200

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Epistemic logics and their game theoreti

Epistemic logics and their game theoretic applications: Introduction

✍ Mamoru Kaneko 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 376 KB

Completeness and incompleteness for plau

Completeness and incompleteness for plausibility logic

✍ Karl Schlechta 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 920 KB

Complete rings of sets and sentential lo

Complete rings of sets and sentential logic

✍ Melven R. Krom 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 142 KB

Topological Completeness for Higher-Orde

Topological Completeness for Higher-Order Logic

✍ S. Awodey and C. Butz 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 307 KB

A Completeness Result for Quantification

A Completeness Result for Quantificational Tense Logic

✍ Robert P. McArthur; Hugues Leblanc 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 529 KB

We establish in this paper the strong completeness of QK,, a minimal quantificational tense logic. Our result differs from those already in the literature, say [l], in two major respects. First, unlike COCCHIARELLA'S proof, which utilizea semantic tableaux, ours is run in the HENKIN fashion (with mo

Proof-Theoretic Functional Completeness

Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

✍ Torben Braüner 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 407 KB