Switch to: References

Citations of:

Unification types in logic

Katowice: Wydawnictwo Uniwersytetu Śląskiego (2007)

Add citations

You must login to add citations.
  1. On unification and admissible rules in Gabbay–de Jongh logics.Jeroen P. Goudsmit & Rosalie Iemhoff - 2014 - Annals of Pure and Applied Logic 165 (2):652-672.
    In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay–de Jongh logics and to show that these logics have finitary unification type.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
    Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations