Modal Linear Logic in Higher Order Logic‚ an experiment in Coq

類似資料

• Reasoning about Knowledge in Linear Logic: Modalities and Complexity
  著者:: Marion, M, 等
  出版事項: (2004)
• Alternation Is Strict For Higher-Order Modal Fixpoint Logic
  著者:: Florian Bruse
  出版事項: (2016-09-01)
• Linear Abelian Modal Logic
  著者:: Hamzeh Mohammadi
  出版事項: (2024-03-01)
• Intensional and higher-order modal logic : with applications to montague semantics /
  著者:: 317500 Gallin, Daniel
  出版事項: (1975)
• Indexed linear logic and higher-order model checking
  著者:: Charles Grellois, 等
  出版事項: (2015-03-01)