Existential Import, Aristotelian Logic, and its Generalizations.

Corina Strößner

Published in: Logica Universalis (2020)

Keyphrases

modal logic
classical logic
logic programming
data sets
multi valued
real world
case study
multi agent systems
description logics
automated reasoning
logical framework
computational properties
predicate logic
formal theory
deontic logic
sound and complete axiomatization