CitedEvidence
User Settings
Open AccessBook Chapter10.1007/978-1-4020-9084-4_3

The Method of Tree-Hypersequents for Modal Propositional Logic

Francesca Poggiolesi-2008-11-07
75

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

SequentSequent calculusModal logicPropositional variableMathematicsModalModal μ-calculusCalculus (dental)

Chat

Click to start Chat