Switch to: References

Add citations

You must login to add citations.
  1. Quantifier-free epistemic term-modal logic with assignment operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.
    Download  
     
    Export citation  
     
    Bookmark  
  • Frame definability in finitely valued modal logics.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2023 - Annals of Pure and Applied Logic 174 (7):103273.
    Download  
     
    Export citation  
     
    Bookmark