𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatizing first-order consequences in dependence logic

✍ Scribed by Kontinen, Juha; Väänänen, Jouko

Book ID
120620673
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
315 KB
Volume
164
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatizing the monodic fragment of fir
Axiomatizing the monodic fragment of first-order temporal logic
✍ Frank Wolter; Michael Zakharyaschev 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 141 KB

It is known that even seemingly small fragments of the ÿrst-order temporal logic over the natural numbers are not recursively enumerable. In this paper we show that the monodic (not monadic, where this result does not hold) fragment is an exception by constructing its ÿnite Hilbert-style axiomatizat

Axiomatization of the First-Order Interm
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
✍ Shin'ichi Yokota 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 370 KB

AXIOMATIZATION OF THE FIRST-ORDER INTERMEDIATE LOGICS OF BOUNDED KRIPKEAN HEIGHTS I by SHIN'ICHI YOKOTA in Tokyo (Japa.n)') ') The part 11 of this paper ronsiste of Chapter 2. The author would like to express his gratitude to Prof. H. ONO for kind correspondence on the subject, and to Mr. Y. KOMORI

Axiomatization of the First-Order Interm
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II
✍ Shin'Ichi Ykotota 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 451 KB

0 1991 D B C ~ ng. d wirs. AXIOMATIZATION OF THE FIRST-ORDER INTERMEDIATE LOGICS OF BOUNDED KRIPKEAN HEIGHTS I1 by SHIN'ICHI YOKOTA in Tokyo (Japan)') \*) Continuation from Part I (this Zeitschrift 35 (1989), 415-421), which consists of Chapter 1 of the present paper as well as the Acknowledgements

Abstraction in First-Order Modal Logic
Abstraction in First-Order Modal Logic
✍ ROBERT C. STALNAKER; RICHMOND H. THOMASON 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 208 KB