- Tytuł:
- A Modified Subformula Property for the Modal Logic S4.2
- Autorzy:
- Takano, Mitio
- Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
modal logic S4.2
sequent calculus
subformula property - Dostawca treści:
- Biblioteka Nauki
Artykuł