Publication | Open Access
Tableau methods of proof for modal logics.
122
Citations
1
References
1972
Year
EngineeringAutomated ReasoningPropositional LogicModal LogicFormal MethodsComputer ScienceTableau MethodsProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1