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)