- Tytuł:
- A Many-sorted Polyadic Modal Logic
- Autorzy:
-
Leuştean, Ioana
Moangă, Natalia
Şerbănuţă, Traian Florin - Data publikacji:
- 2020
- Słowa kluczowe:
-
boolean algebras with operators
Jónsson-Tarski theorem
many-sorted algebras
many-sorted logic
operational semantics
Polyadic modal logic - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł