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.
    Download  
     
    Export citation  
     
    Bookmark  
  • Unification types in Euclidean modal logics.Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani & Mojtaba Mojtahedi - 2023 - Logic Journal of the IGPL 31 (3):422-440.
    We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$.
    Download  
     
    Export citation  
     
    Bookmark