Template:Non-classical logic: Difference between revisions
Content deleted Content added
several topics related to modal logic Tag: Reverted |
Botterweg14 (talk | contribs) Removing modal logic stuff, since it's really an orthogonal cut to classical vs. nonclassical, i.e. there are both classical and nonclassical modal logics (but happy to discuss on talk page) |
||
| Line 23: | Line 23: | ||
| group3 = [[Substructural logic|Substructural]] |
| group3 = [[Substructural logic|Substructural]] |
||
| list3 = |
| list3 = |
||
* [[Bunched logic]] |
|||
* [[Structural rule]] |
* [[Structural rule]] |
||
* [[Relevance logic]] |
* [[Relevance logic]] |
||
| Line 52: | Line 51: | ||
** [[VHDL]] |
** [[VHDL]] |
||
| group8 = |
| group8 = Others |
||
| list8 = |
| list8 = |
||
* [[Classical modal logic]] |
|||
* [[Dynamic logic (modal logic)|Dynamic logic]] |
|||
* [[Hybrid logic]] |
|||
* [[Linear temporal logic]] |
|||
* [[Multimodal logic]] |
|||
* [[Non-normal modal logic]] |
|||
* [[Normal modal logic]] |
|||
* [[Regular modal logic]] |
|||
| group9 = Others |
|||
| list9 = |
|||
* [[Dynamic semantics]] |
* [[Dynamic semantics]] |
||
* [[Inquisitive semantics|Inquisitive logic]] |
* [[Inquisitive semantics|Inquisitive logic]] |
||
Revision as of 16:31, 29 February 2024
Template documentationThis template's initial visibility currently defaults to autocollapse, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.
To change this template's initial visibility, the |state= parameter may be used:
{{Non-classical logic|state=collapsed}}will show the template collapsed, i.e. hidden apart from its title bar.{{Non-classical logic|state=expanded}}will show the template expanded, i.e. fully visible.
