Found 10 Documents (Results 1–10)
Agreement theorems for self-locating belief. (English) Zbl 1355.03012
Reviewer: Heinrich Wansing (Bochum)
Obligation as weakest permission: a strongly complete axiomatization. (English) Zbl 1391.03021
MSC:
03B45
The arithmetic of the even and the odd. (English) Zbl 1381.03041
Rev. Symb. Log. 9, No. 2, 359-369 (2016); addendum and corrigendum ibid. 9, No. 3, 638-640 (2016).
Reviewer: Roman Murawski (Poznań)
MSC:
03F30
Embracing the technicalities: expressive completeness and revenge. (English) Zbl 1391.03016
MSC:
03A05
A modal translation for dual-intuitionistic logic. (English) Zbl 1388.03023
Reviewer: Grigory K. Olkhovikov (Bochum)
Restrictiveness relative to notions of interpretation. (English) Zbl 1381.03009
Reviewer: Branislav Boričić (Beograd)
Filter Results by …
all
top 5
Author
- Amidei, Jacopo (1)
- Artemov, Sergei (1)
- Bellucci, Francesco (1)
- Caie, Michael (1)
- Cook, Roy T. (1)
- Incurvati, Luca (1)
- Löwe, Benedikt (1)
- Pambuccian, Victor V. (1)
- Pianigiani, Duccio (1)
- Pietarinen, Ahti-Veikko (1)
- Protopopescu, Tudor (1)
- Read, Stephen (1)
- San Mauro, Luca (1)
- Shramko, Yaroslav V. (1)
- Simi, Giulia (1)
- Sorbi, Andrea (1)
- Tourville, Nicholas (1)
- Van De Putte, Frederik (1)