𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Biprobability logic with conditional expectation

✍ Scribed by Vladimir Ristić; Radosav Đorđević; Nebojša Ikodinović

Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
139 KB
Volume
57
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Combinations of tense and deontic modali
Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation
✍ Lennart Åqvist 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 344 KB

We consider three infinite hierarchies of what I call "two-dimensional temporal logics with explicit realization operators", viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalitie