The Modal Logic of Aristotelian Diagrams
Sign Up to like & getrecommendations! Published in 2023 at "Axioms"
DOI: 10.3390/axioms12050471
Abstract: In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language of AD-logic, LAD, is interpreted on a kind of… read more here.
Keywords: aristotelian diagrams; logic aristotelian; modal logic;