✦ LIBER ✦

A completeness proof for an infinitary tense-logic

✍ Scribed by GÖRAN SUNDHOLM

Book ID: 114916257
Publisher: Wiley (Blackwell Publishing)
Year: 2008
Tongue: English
Weight: 180 KB
Volume: 43
Category: Article
ISSN: 1755-2567
DOI: 10.1111/j.1755-2567.1977.tb00778.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

A completeness proof for adapted probabi

A completeness proof for adapted probability logic

✍ H.Jerome Keisler 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 578 KB

A Completeness Proof for a Logic with an

A Completeness Proof for a Logic with an Alternative Necessity Operator

✍ Stéphane Demri 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 306 KB

An infinitary probability logic for type

An infinitary probability logic for type spaces

✍ Martin Meier 📂 Article 📅 2012 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 663 KB

A Completeness Proof of Kiczuk’s Logic o

A Completeness Proof of Kiczuk’s Logic of Physical Change

✍ Robert Trypuz 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 284 KB

Toward an Infinitary Logic of Domains: A

Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems

✍ Marcello M. Bonsangue; Joost N. Kok 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 362 KB