Switch to: References

Add citations

You must login to add citations.
  1. On the proof complexity of logics of bounded branching.Emil Jeřábek - 2023 - Annals of Pure and Applied Logic 174 (1):103181.
    Download  
     
    Export citation  
     
    Bookmark  
  • Rules with parameters in modal logic II.Emil Jeřábek - 2020 - Annals of Pure and Applied Logic 171 (10):102829.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Finitary unification in locally tabular modal logics characterized.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2022 - Annals of Pure and Applied Logic 173 (4):103072.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • About the Unification Type of Modal Logics Between.Philippe Balbiani & Çiğdem Gencer - 2020 - Studia Logica 108 (5):941-966.
    The unification problem in a normal modal logic is to determine, given a formula.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-7c76586df8-5tf24 uwo