Sequent-type rejection systems for finite-valued non-deterministic logics.

Martin Gius Hans Tompits

Published in: J. Appl. Non Class. Logics (2023)

Keyphrases

modal logic
management system
inference rules
real world
expert systems
computer systems
complex systems
database systems
distributed systems
intelligent systems
epistemic logic