- Tytuł:
- A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
- Autorzy:
-
Gao, Feng
Tourlakis, George - Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Modal logic
GL
QGL
first-order logic
proof theory
cut elimination
cut admissibility
provability logic - Dostawca treści:
- Biblioteka Nauki
Artykuł