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)