Cut-Elimination for the Bimodal Logic GR

Documenti analoghi

• A Proof-Theoretic Study of Modal Logic
  di: Kushida, Hirohiko
  Pubblicazione: (2026)
• On the Cut Elimination of Weak Intuitionistic Tense Logic
  di: Wang, Yiheng, et al.
  Pubblicazione: (2024)
• Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
  di: Acclavio, Matteo, et al.
  Pubblicazione: (2023)
• Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
  di: Maniwa, Akinori, et al.
  Pubblicazione: (2024)
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
  di: Accattoli, Beniamino
  Pubblicazione: (2022)