DC FieldValueLanguage
dc.contributor.authorOgnjanović, Zoran-
dc.contributor.authorTimotijević, Tatjana-
dc.date.accessioned2020-06-15T15:22:44Z-
dc.date.available2020-06-15T15:22:44Z-
dc.date.issued2000-
dc.identifier.issn0352-0900-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/3008-
dc.description.abstractTwo 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.-
dc.publisherFaculty of Science, Novi Sad-
dc.relation.ispartofNovi Sad Journal of Mathematics-
dc.subjecttheorem proving | modal logic | translation of logic | classical logic-
dc.titleOn two approaches to modal theorem proving-
dc.typeArticle-
dc.identifier.urlhttp://elib.mi.sanu.ac.rs/files/journals/nsjom/49/nsjomn49p83-93.pdf-
dc.identifier.urlhttps://www.dmi.uns.ac.rs/nsjom/Papers/30_2/NSJOM_30_2_083_093.pdf-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage83-
dc.relation.lastpage93-
dc.relation.issue2-
dc.relation.volume30-
dc.description.rankM24-
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

22
checked on Jan 31, 2025

Google ScholarTM

Check


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