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

Míreanna comhchosúla

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