Switch to: References

Add citations

You must login to add citations.
  1. First order logic without equality on relativized semantics.Amitayu Banerjee & Mohamed Khaled - 2018 - Annals of Pure and Applied Logic 169 (11):1227-1242.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Two-variable logic has weak, but not strong, Beth definability.Hajnal Andréka & István Németi - 2021 - Journal of Symbolic Logic 86 (2):785-800.
    We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The free non-commutative cylindric algebras are not atomic.Mohamed Khaled - 2017 - Logic Journal of the IGPL 25 (5):673-685.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation