- Tytuł:
- Definability and Canonicity for Boolean Logic with a Binary Relation
- Autorzy:
-
Balbiani, P.
Tinchev, T. - Data publikacji:
- 2014
- Słowa kluczowe:
-
Boolean algebra
modal logic
definability
canonicity - Pokaż więcej
- Dostawca treści:
- BazTech