- Tytuł:
- Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus
- Autorzy:
- Indrzejczak, Andrzej
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Modal logic S5
decidability
normal forms
sequent calculus - Dostawca treści:
- Biblioteka Nauki
Artykuł