Switch to: References

Add citations

You must login to add citations.
  1. Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.
    This paper is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics. The paper has a survey character, too. The most frequently used algebras like cylindric-, relation-, polyadic-, and quasi-polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Action negation and alternative reductions for dynamic deontic logics.Jan Broersen - 2004 - Journal of Applied Logic 2 (1):153-168.
    Download  
     
    Export citation  
     
    Bookmark   11 citations