- Tytuł:
- New Modification of the Subformula Property for a Modal Logic
- Autorzy:
- Takano, Mitio
- Data publikacji:
- 2020-11-04
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
subformula property
modal logic
sequent calculus
scope of □ - Dostawca treści:
- Biblioteka Nauki
Artykuł