Book Chapter10.1007/978-3-642-35308-6_18

Constructive Completeness for Modal Logic with Transitive Closure

Christian Doczkal,Gert Smolka-2012-01-01-Lecture notes in computer science

11

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Completeness (order theory)Transitive relationTransitive closureModal logicConstructiveMathematicsClosure (psychology)Modal

Chat

Click to start Chat