Authors: Ognjanović, Zoran 
Timotijević, Tatjana
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: On two approaches to modal theorem proving
Journal: Novi Sad Journal of Mathematics
Volume: 30
Issue: 2
First page: 83
Last page: 93
Issue Date: 2000
Rank: M24
ISSN: 0352-0900
URL: http://elib.mi.sanu.ac.rs/files/journals/nsjom/49/nsjomn49p83-93.pdf
https://www.dmi.uns.ac.rs/nsjom/Papers/30_2/NSJOM_30_2_083_093.pdf
Abstract: 
Two approaches to modal theorem proving are presented. The first approach is a direct one, developed specifically for modal logic. In the second approach a translation procedure is included and classical first-order prover is used to the examined modal formulas. Some comparative results and possible extensions are discussed.
Keywords: theorem proving | modal logic | translation of logic | classical logic
Publisher: Faculty of Science, Novi Sad

Show full item record

Page view(s)

36
checked on Apr 15, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.