Switch to: References

Add citations

You must login to add citations.
  1. Undecidability of admissibility in the product of two Alt logics.Philippe Balbiani & Çiğdem Gencer - forthcoming - Logic Journal of the IGPL.
    The product of two |$\textbf {Alt}$| logics possesses the polynomial product finite model property and its membership problem is |$\textbf {coNP}$|-complete. Using a reduction from an undecidable domino-tiling problem, we prove that its admissibility problem is undecidable.
    Direct download (2 more)  
     
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Unification types in Euclidean modal logics.Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani & Mojtaba Mojtahedi - forthcoming - Logic Journal of the IGPL.
    We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•