Implementation of a cut−free sequent calculus for logics with adjoint modalities

類似資料

• A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
  著者:: Dyckhoff, R, 等
  出版事項: (2010)
• Loop-free sequent calculus for modal logic K4
  著者:: Julius Andirkonis
  出版事項: (2009-12-01)
• Cut free sequent calculus for logic S5n(ED)
  著者:: Haroldas Giedra
  出版事項: (2010-12-01)
• Sequent calculus for hybrid logic
  著者:: Stanislovas Norgėla, 等
  出版事項: (2023-09-01)
• Sequent calculus for propositional likelihood logic
  著者:: Romas Alonderis
  出版事項: (2023-09-01)