Graduate studies at Western
Studia Logica 99 (1-3):321-336 (2011)
|Abstract||This paper offers a brief analysis of the unification problem in modal transitive logics related to the logic S4 : S4 itself, K4, Grz and Gödel-Löb provability logic GL . As a result, new, but not the first, algorithms for the construction of ‘best’ unifiers in these logics are being proposed. The proposed algorithms are based on our earlier approach to solve in an algorithmic way the admissibility problem of inference rules for S4 and Grz . The first algorithms for the construction of ‘best’ unifiers in the above mentioned logics have been given by S. Ghilardi in [ 16 ]. Both the algorithms in [ 16 ] and ours are not much computationally efficient. They have, however, an obvious significant theoretical value a portion of which seems to be the fact that they stem from two different methodological approaches|
|Keywords||Modal logics unification best unifiers admissible rules|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Silvio Ghilardi & Lorenzo Sacchetti (2004). Filtering Unification and Most General Unifiers in Modal Logic. Journal of Symbolic Logic 69 (3):879-906.
David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev (2005). Products of 'Transitive' Modal Logics. Journal of Symbolic Logic 70 (3):993-1021.
Franz Baader & Ulrike Sattler (2001). An Overview of Tableau Algorithms for Description Logics. Studia Logica 69 (1):5-40.
Vladimir V. Rybakov (1994). Criteria for Admissibility of Inference Rules. Modal and Intermediate Logics with the Branching Property. Studia Logica 53 (2):203 - 225.
Tadeusz Litak (2004). Modal Incompleteness Revisited. Studia Logica 76 (3):329 - 342.
V. V. Rybakov (1990). Logical Equations and Admissible Rules of Inference with Parameters in Modal Provability Logics. Studia Logica 49 (2):215 - 239.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
V. V. Rybakov (1995). Hereditarily Structurally Complete Modal Logics. Journal of Symbolic Logic 60 (1):266-288.
Frank Wolter (1997). Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58 (2):229-259.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Peter Apostoli (1997). On the Completeness of First Degree Weakly Aggregative Modal Logics. Journal of Philosophical Logic 26 (2):169-180.
Added to index2011-09-22
Total downloads4 ( #190,122 of 754,681 )
Recent downloads (6 months)0
How can I increase my downloads?