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

Lignende værker

• A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
  af: Dyckhoff, R, et al.
  Udgivet: (2010)
• Loop-free sequent calculus for modal logic K4
  af: Julius Andirkonis
  Udgivet: (2009-12-01)
• Cut free sequent calculus for logic S5n(ED)
  af: Haroldas Giedra
  Udgivet: (2010-12-01)
• Sequent calculus for hybrid logic
  af: Stanislovas Norgėla, et al.
  Udgivet: (2023-09-01)
• Sequent calculus for propositional likelihood logic
  af: Romas Alonderis
  Udgivet: (2023-09-01)