Invariant Logics
From MaRDI portal
Publication:2776808
DOI<29::AID-MALQ29>3.0.CO;2-N 10.1002/1521-3870(200201)48:1<29::AID-MALQ29>3.0.CO;2-NzbMath0993.03010MaRDI QIDQ2776808
Publication date: 24 July 2002
Full work available at URL: https://doi.org/10.1002/1521-3870(200201)48:1<29::aid-malq29>3.0.co;2-n
automorphism group; normal modal logics; tabular logic; lattices of modal logics; invariant logic; Kripke-frame; prime logics
03B45: Modal logic (including the logic of norms)
03G10: Logical aspects of lattices and related structures
Cites Work