Search Results - "modal logic"
Suggested Topics within your search.
Suggested Topics within your search.
- modal logic 2
- логічний наслідок 2
- модальна логіка 2
- секвенційне числення 2
- UDC 510.64 1
- UDC 004.42:510.69 1
- logical consequence 1
- logical consequence sequent calculus 1
- partial predicate 1
- predicate 1
- sequent calculus 1
- УДК 004.42:510.69 1
- УДК 510.64 1
- логическое следствие 1
- модальная логика 1
- предикат 1
- секвенциальное исчисление 1
- частичный предикат 1
- частковий предикат 1
-
1
-
2