Order:
  1.  12
    A completeness theorem for dynamic logic.László Csirmaz - 1985 - Notre Dame Journal of Formal Logic 26 (1):51-60.
  2.  8
    European summer meeting of the Association for Symbolic Logic.László Csirmaz - 1993 - Journal of Symbolic Logic 58 (3):1098-1149.
  3.  22
    Stability of weak second-order semantics.László Csirmaz - 1988 - Studia Logica 47 (3):193-202.
    By extending the underlying data structure by new elements, we also extend the intput/output relation generated by a program i.e., no existing run is killed, and no new one lying entirely in the old structure is created. We investigate this stability property for the weak second order semantics derived from nonstandard time models. It turns out that the light face, i.e., parameterless collection principle always induces stable semantics, but the bold face one may be unstable. We give an example where (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark