Supporting automated deduction in first-order modal logics - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Angelo Montanari, Alberto Policriti, Matteo Slanina. Supporting automated deduction in first-order modal logics. In KR. pages 547-556, 2000.

The following publications are possibly variants of this publication:

A Set-Theoretic Approach to Automated Deduction in Graded Modal LogicsAngelo Montanari, Alberto Policriti. IJCAI 1997: 196-201

Modal Deduction in Second-Order Logic and Set Theory - IJohan van Benthem, Giovanna D Agostino, Angelo Montanari, Alberto Policriti. logcom, 7(2):251-265, 1997.

Modal Deduction in Second-Order Logic and Set Theory - IIJohan van Benthem, Giovanna D Agostino, Angelo Montanari, Alberto Policriti. sLogica, 60(2):387-420, 1998.

runs on WebDSL