Login / Signup

Proof Systems for various FDE-based Modal Logics.

Sergey DrobyshevichHeinrich Wansing
Published in: Rev. Symb. Log. (2020)
Keyphrases
  • modal logic
  • inference rules
  • decision procedures
  • artificial intelligence
  • distributed systems
  • special case