Unification and passive inference rules for modal logics

Basit Öğe Kaydı
dc.authorscopusid7102809961
dc.authorscopusid6508113347
dc.authorscopusid25029935100
dc.contributor.authorRybakov, V.V.
dc.contributor.authorTerziler, M.
dc.contributor.authorGencer, C.
dc.date.accessioned2024-07-18T20:16:58Z
dc.date.available2024-07-18T20:16:58Z
dc.date.issued2000
dc.description.abstractWe 1 study unification of formulas in modal logics and consider logics which are equivolent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. uniilcation via existence or persistent formulas. A complete syntactic description cf all formulas which are non-unifiable in wide classes of modal logics is given. Passive inference rules are considered, it is shown that in any modal logic over D4 there is a finite basis for passive rules.en_US
dc.description.sponsorshipRussian Foundation for Fundamental Investigations, RFFI; Ege Üniversitesi; Russian Science Foundation, RSFen_US
dc.description.sponsorship1That research was supported by Russian Science Foundation (RFFI) and by Turkish Scientific Technical Research Council (TUBITAK, Ankara) while staying V.V.Rybakov in 1997 at Mathematics Dept. of Science Faculty of Ege University, Bornova-lzmir, Turkeyen_US
dc.identifier.doi10.1080/11663081.2000.10511004
dc.identifier.endpage377en_US
dc.identifier.issn1166-3081
dc.identifier.issue3-4en_US
dc.identifier.scopus2-s2.0-84887091059en_US
dc.identifier.scopusqualityQ1en_US
dc.identifier.startpage369en_US
dc.identifier.urihttps://doi.org/10.1080/11663081.2000.10511004
dc.identifier.urihttps://hdl.handle.net/11411/6339
dc.identifier.volume10en_US
dc.indekslendigikaynakScopusen_US
dc.language.isoenen_US
dc.relation.ispartofJournal of Applied Non-Classical Logicsen_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectInference Rulesen_US
dc.subjectModal Logicsen_US
dc.subjectSuperintuitionistic Logicsen_US
dc.subjectUnificationen_US
dc.subjectUnifieren_US
dc.titleUnification and passive inference rules for modal logicsen_US
dc.typeArticleen_US

Dosyalar

Koleksiyon

Scopus Indexed Publications