Modal logics withn-ary connectives (Q3352996)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal logics withn-ary connectives |
scientific article |
Statements
Modal logics withn-ary connectives (English)
0 references
1990
0 references
multi-modal logic
0 references
modal logics with many-sorted operators
0 references
category of theories
0 references
category of universes
0 references
multi-sorted propositional theories
0 references
multi-argument modal operators
0 references
multigraphs
0 references
multiarrows
0 references
multipreorder logic
0 references
distributive linear logic
0 references