Order:
Disambiguations
László Csirmaz [7]L. Csirmaz [2]Lazlo Csirmaz [1]
  1.  12
    A completeness theorem for dynamic logic.László Csirmaz - 1985 - Notre Dame Journal of Formal Logic 26 (1):51-60.
  2.  10
    A property of 2‐sorted peano models and program verification.L. Csirmaz & J. B. Paris - 1984 - Mathematical Logic Quarterly 30 (19‐24):325-334.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  20
    A Property of 2‐Sorted Peano Models and Program Verification.L. Csirmaz & J. B. Paris - 1984 - Mathematical Logic Quarterly 30 (19-24):325-334.
  4.  9
    European summer meeting of the Association for Symbolic Logic.László Csirmaz - 1993 - Journal of Symbolic Logic 58 (3):1098-1149.
  5. Logic Colloquium '92.Lazlo Csirmaz, Dov M. Gabbay & Maarten de Rijke (eds.) - 1995 - Center for the Study of Language and Inf.
     
    Export citation  
     
    Bookmark   1 citation  
  6.  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