Translator Disclaimer
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

Abstract

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.

Citation

Download Citation

Rosalie Iemhoff. "A Syntactic Approach to Unification in Transitive Reflexive Modal Logics." Notre Dame J. Formal Logic 57 (2) 233 - 247, 2016. https://doi.org/10.1215/00294527-345997

Information

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

Subjects:
Primary: 03B45, 03F03
Secondary: 03B70

Rights: Copyright © 2016 University of Notre Dame

JOURNAL ARTICLE
15 PAGES


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