Switch to: References

Add citations

You must login to add citations.
  1. The Henkin Quantifier and Real Closed Fields.John R. Cowles - 1981 - Mathematical Logic Quarterly 27 (31-35):549-555.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the Comparisons of Logics in Terms of Expressive Power.Diego Pinheiro Fernandes - 2023 - Manuscrito 46 (4):2022-0054.
    This paper investigates the question “when is a logic more expressive than another?” In order to approach it, “logic” is understood in the model-theoretic sense and, contrary to other proposals in the literature, it is argued that relative expressiveness between logics is best framed with respect to the notion of expressing properties of models, a notion that can be captured precisely in various ways. It is shown that each precise rendering can give rise to a formal condition for relative expressiveness (...)
    Download  
     
    Export citation  
     
    Bookmark