Login / Signup

Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II.

Takao InouéRiku Hanaoka
Published in: Formaliz. Math. (2022)
Keyphrases
  • propositional calculus
  • logical framework
  • high level
  • linear logic
  • linear time temporal logic