𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interference logic = conditional logic + frame axiom

✍ Scribed by Luis Fariñas del Cerro; Andreas Herzig

Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
582 KB
Volume
9
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

✦ Synopsis

We investigate the notion of interference between formulas as a basis for change operations. Such a notion permits us to enrich conditional logics with a frame axiom. This new logic allows us to solve in a natural way some of the problems appearing in the model based approach to change. 0 1994 John Wiley & Sons, Inc.

📜 SIMILAR VOLUMES

Fuzzy conditional logic
Fuzzy conditional logic
✍ D. Dumitrescu 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 362 KB
Recursive logic frames
Recursive logic frames
✍ Saharon Shelah; Jouko Väänänen 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 235 KB

We define the concept of a logic frame, which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the set of axioms are recursively coded. A recursive logic frame is called complete (recursively compact, ℵ0-compact

Biprobability logic with conditional exp
Biprobability logic with conditional expectation
✍ Vladimir Ristić; Radosav Đorđević; Nebojša Ikodinović 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB

This paper is devoted to fill the gap in studying logics for biprobability structures. We introduce the logic L a AE 1 E 2 with two conditional expectation operators and prove the completeness theorem.

Conditional reasoning in logic programmi
Conditional reasoning in logic programming
✍ D. Gabbay; L. Giordano; A. Martelli; N. Olivetti; M.L. Sapino 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 286 KB

We introduce a logic programming language which supports hypothetical and counterfactual reasoning. The language is based on a conditional logic which enables to formalize conditional updates of the knowledge base. Due to the presence of integrity constraints, alternative revisions of the knowledge

Framed temporal logic programming
Framed temporal logic programming
✍ Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 622 KB

A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, ca