Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for non-normal systems of modal logic (based on n...
Main Author: | Lorenz Demey |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2021-06-01
|
Series: | Axioms |
Subjects: | |
Online Access: | https://www.mdpi.com/2075-1680/10/3/128 |
Similar Items
-
The Modal Logic of Aristotelian Diagrams
by: Stef Frijters, et al.
Published: (2023-05-01) -
Aristotelian Diagrams for the Proportional Quantifier ‘Most’
by: Hans Smessaert, et al.
Published: (2023-02-01) -
Boolean Subtypes of the U4 Hexagon of Opposition
by: Lorenz Demey, et al.
Published: (2024-01-01) -
Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules
by: Andrzej Pietruszczak
Published: (2024-06-01) -
Aristotelian Fragments and Subdiagrams for the Boolean Algebra <inline-formula><math display="inline"><semantics><mi mathvariant="double-struck">B</mi></semantics></math></inline-formula><sub>5</sub>
by: Koen Roelandt, et al.
Published: (2023-06-01)