Sign in

A Fibrational Framework for Substructural and Modal Logics.

Daniel R. LicataMichael ShulmanMitchell Riley
Published in: FSCD (2017)
Keyphrases
  • modal logic
  • main contribution
  • inference rules
  • propositional calculus
  • expert systems