Modal logics withn-ary connectives (Q3352996)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4204313
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modal logics withn-ary connectives |
scientific article; zbMATH DE number 4204313 |
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
0.7522863745689392
0 references
0.7457162141799927
0 references
0.7453973889350891
0 references
