- Tytuł:
- Proof theory of epistemic logic of programs
- Autorzy:
-
Maffezioli Paolo
Naibo Alberto - Data publikacji:
- 2013-09-12
- Tematy:
-
epistemic logic
dynamic propositional logic
structural proof theory
labelled sequent calculus
epistemic paradox - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł