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

相似書籍

• A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
  由: Dyckhoff, R, et al.
  出版: (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, et al.
  出版: (2023-09-01)
• Sequent calculus for propositional likelihood logic
  由: Romas Alonderis
  出版: (2023-09-01)