A Kotas-Style Characterisation of Minimal Discussive Logic.

Krystyna Mruczek-Nasieniewska Marek Nasieniewski

Published in: Axioms (2019)

Keyphrases

classical logic
logical framework
modal logic
automated reasoning
abductive reasoning
proof theory
sound and complete axiomatization
real time
data sets
artificial intelligence
multi agent
multi agent systems
inference rules
multi valued
computational properties
logic synthesis