Sign in

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

Martin GiusHans 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