Open Access
2016 A Syntactic Approach to Unification in Transitive Reflexive Modal Logics
Rosalie Iemhoff
Notre Dame J. Formal Logic 57(2): 233-247 (2016). DOI: 10.1215/00294527-345997


This paper contains a proof-theoretic account of unification in transitive reflexive modal logics, which means that the reasoning is syntactic and uses as little semantics as possible. New proofs of theorems on unification types are presented and these results are extended to negationless fragments. In particular, a syntactic proof of Ghilardi’s result that S4 has finitary unification is provided. In this approach the relation between classical valuations, projective unifiers, and admissible rules is clarified.


Download Citation

Rosalie Iemhoff. "A Syntactic Approach to Unification in Transitive Reflexive Modal Logics." Notre Dame J. Formal Logic 57 (2) 233 - 247, 2016.


Received: 27 February 2012; Accepted: 30 December 2013; Published: 2016
First available in Project Euclid: 9 February 2016

zbMATH: 06585186
MathSciNet: MR3482745
Digital Object Identifier: 10.1215/00294527-345997

Primary: 03B45 , 03F03
Secondary: 03B70

Keywords: admissible rules , fragments , modal logic , unification

Rights: Copyright © 2016 University of Notre Dame

Vol.57 • No. 2 • 2016
Back to Top