✦ LIBER ✦

On Definability in Dependence Logic

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

Book ID: 106389720
Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 215 KB
Volume: 18
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-009-9082-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Erratum to: On Definability in Dependenc

Erratum to: On Definability in Dependence Logic

✍ Juha Kontinen; Jouko Väänänen 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 82 KB

First-Order Definability in Modal Logic

✍ R. I. Goldblatt 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 178 KB

Universal First-Order Definability in Mo

Universal First-Order Definability in Modal Logic

✍ R. E. Jennings; D. K. Johnston; P. K. Schotch 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

On Definability of Ordinals in Logic wit

On Definability of Ordinals in Logic with Infinitely Long Expressions

✍ Akiko Kino 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 827 KB

Interpolation and Definability in Extens

Interpolation and Definability in Extensions of the Minimal Logic

✍ L. L. Maksimova 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 232 KB

Definability theorems in normal extensio

Definability theorems in normal extensions of the probability logic

✍ Larisa L. Maksimova 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 546 KB