Book Chapter10.1007/978-3-319-08587-6_20

MleanCoP: A Connection Prover for First-Order Modal Logic

Jens Otten-2014-01-01-Lecture notes in computer science

33

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Modal logicGas meter proverComputer scienceNormal modal logicAccessibility relationAutomated theorem provingConnection (principal bundle)Unification

Chat

Click to start Chat