Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics.

Tobias Geibinger Hans Tompits

Published in: ICLP Technical Communications (2020)

Keyphrases

modal logic
inference rules
logic programming
sequent calculi
management system
nonmonotonic logics
complex systems
temporal logic
artificial intelligence
distributed systems
retrieval systems
knowledge representation
model checking
spatial relations