Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic

Documenti analoghi

• A declarative approach to specifying distributed algorithms using three-valued modal logic
  di: Gabbay, Murdoch J., et al.
  Pubblicazione: (2025)
• A propositional cirquent calculus for computability logic
  di: Japaridze, Giorgi
  Pubblicazione: (2024)
• Locally tabular products of modal logics
  di: Shapirovsky, Ilya B., et al.
  Pubblicazione: (2024)
• Mechanised uniform interpolation for modal logics K, GL, and iSL
  di: Férée, Hugo, et al.
  Pubblicazione: (2024)
• First-Order Fischer Servi Logic
  di: Christensen, Ahmee
  Pubblicazione: (2024)