✦ LIBER ✦

Dynamic Relation Logic Is the Logic of DPL-Relations

✍ Scribed by Albert Visser

Book ID: 110260465
Publisher: Springer Netherlands
Year: 1997
Tongue: English
Weight: 135 KB
Volume: 6
Category: Article
ISSN: 0925-8531
DOI: 10.1023/a:1008228122853

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The logical consequence relation of prop

The logical consequence relation of propositional tense logic

✍ S. K. Thomason 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 718 KB

This work concerns the model theory of propositional tense logic with the K R ~K E relational semantics. It is shown (i) that there is a formula y whose logical consequences form a complete l7: set, and (ii) that for 0 m < o + o there are formulas y,, such that all models of y m are isomorphic and h

Nonlinear parity relations: A logic-dyna

Nonlinear parity relations: A logic-dynamic approach

✍ A. N. Zhirabok 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 173 KB

The Logic of Good Social Relations

✍ Serge-Christophe Kolm 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 172 KB

Copula: The Logic of the Sexual Relation

✍ Robyn Ferrell 📂 Article 📅 2000 🏛 Indiana University Press 🌐 English ⚖ 900 KB

Nondeterministic program schemata and th

Nondeterministic program schemata and their relation to dynamic logic

✍ V. A. Nepomnyashchii; N. V. Shilov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 932 KB

The problem of relations in inductive lo

The problem of relations in inductive logic

✍ Rudolf Carnap 📂 Article 📅 1951 🏛 Springer Netherlands 🌐 English ⚖ 464 KB