Order:
Did you mean: Van Alden, Clint J.
  1.  6
    Correction To: Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - forthcoming - Studia Logica:1-1.
    In the original publication of the article, the authors name were abbreviated as “D. Shkatov” and “C. J. Van Alten”. However it should be “Dmitry Shkatov” and “Clint J. Van Alten”. The original article has been corrected.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - forthcoming - Studia Logica:1-17.
    We apply the theory of partial algebras, following the approach developed by Van Alten, to the study of the computational complexity of universal theories of monotonic and normal modal algebras. We show how the theory of partial algebras can be deployed to obtain co-NP and EXPTIME upper bounds for the universal theories of, respectively, monotonic and normal modal algebras. We also obtain the corresponding lower bounds, which means that the universal theory of monotonic modal algebras is co-NP-complete and the universal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark