Publication | Closed Access
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems
16
Citations
0
References
2005
Year
EngineeringAutomated ReasoningRelational TranslationModal LogicVerificationPropositional LogicFormal MethodsProlog ToolRelational Proof SystemsFirst-order LogicComputer ScienceEquational LogicSemantic WebSemanticsFormal VerificationLogic Programming
No additional data available for this publication yet. Check back later!