The Modal Logic of Aristotelian Diagrams

The Modal Logic of Aristotelian Diagrams

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, <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics>...

Full description

Bibliographic Details
Main Authors: Stef Frijters, Lorenz Demey
Format: Article
Language:English
Published: MDPI AG 2023-05-01
Series:Axioms
Subjects:
square of opposition
Aristotelian diagram
modal logic
hybrid logic
logical geometry
Online Access:https://www.mdpi.com/2075-1680/12/5/471

Internet

https://www.mdpi.com/2075-1680/12/5/471

Similar Items