A set-theoretic approach to automated deduction in graded modal logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 196-201

  Montanari, A ^a   Policriti, A ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED DEDUCTION; AUTOMATED REASONING; EPISTEMIC LOGIC; FIRST-ORDER; KNOWLEDGE REPRESENTATION FORMALISM; MODAL LOGIC; SET-THEORETIC APPROACH;

FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

PROBLEM SOLVING;

EID: 33749567226     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. J. van Benthem, G. D'Agostincv A. Montanari, and A. Policriti. Modal deduction in second-order logic and set theory. Technical Report ML-95-02, Institute for Logic Language and Information, 1995.
2. J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, Napoli, Italy, 1985.
3. C. Cerrato. General canonical models for graded normal logics (graded modalities IV). Studia Logtea, 49:241-252, 1990.
4. C. Cerrato. Decidability by filtration for graded modal logics (graded modalities V), Studia Logtea, 53:61-74, 1992.
5. G. D'Agostino, A. Montanari, and A. Policriti. A set-theoretic translation method for polymodal logics. Journal of Automated Reasoning, 15:317-337, 1995.
6. F. De Caro. Graded modalities II (canonical models). Studia Logica, 47:1-10, 1988.
7. M. Fattorosi-Barnaba and F. De Caro. Graded modalities I. Studia Logica, 44:197-221, 1985.
8. K. Fine. In so many possible worlds. Notre Dame Journal of Formal Logic, 13:516-520, 1972.
9. M. Fitting. Proofs Methods for Modal and Intuitionistic Logics. D. Reidel Pub. Comp., Dordrecht, Boston, and Lancaster, 1983.
10. th International Conference on Principles of Knowldedge Representation and Reasoning, KR'92, pages 425-436, 1992.
11. L. F. Goble. Grades of modality. Logique et Analyse, 13:323-334, 1970.
12. W. van der Hoek and M. de Rijke. Counting objects. Journal of Logic and Computation, 5(3):325-345, 1995.
13. th International Conference on Algebraic Methodology and Software Technology, LNCS 936, pages 385-399, 1995.
14. th International Joint Conference on Artificial Intelligence, IJCAI-93, pages 80-85, Chambery, France, 1993.
15. H. J. Ohlbach, A. Schmidt, and U. Hustadt. Translating graded modalities into predicate logic. Technical Report MPI-I-95-2-008, Max-Planck-Institut fur Informatik, Saarbruken, Germany, 1995.
16. H. J. Ohlbach. Semantic-based translation methods for modal logics. Journal of Logic and Computation, 1(5), 1991.
17. H. J. Ohlbach. Translation methods for non-classical logics: An overview. Bull, of the IGLP, I(I):69-89, 1993.
18. H. Wansing. Sequent calculi for normal modal propositional logics. Journal of Logic and Computation, 4(2):125-142, 1994.