مرکز منطقه ای اطلاع رساني علوم و فناوري - Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)

Title of article :

Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)

Author/Authors :

Fausto Giunchiglia، نويسنده , , Roberto Sebastiani، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2000

Pages :

From page :

158

To page :

178

Journal title :

Information and Computation

Serial Year :

2000

Journal title :

Information and Computation

Record number :

261921

Link To Document :