- Tytuł:
- Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions
- Autorzy:
-
Conradie, W.
Goranko, V.
Vakarelov, D. - Data publikacji:
- 2009
- Słowa kluczowe:
-
SQEMA
correspondence
d-persistence
complex Sahlqvist formulae - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł