Suchergebnisse
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- modal logic
- логічний наслідок 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
Composition nominative modal logics of partial non-monotone predicates and their calculi
Veröffentlicht 2018Volltext
Artikel -
2
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
Veröffentlicht 2024Volltext
Artikel