Results for 'Lazlo Csirmaz'

10 found
Order:
  1. 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  
  2.  12
    A completeness theorem for dynamic logic.László Csirmaz - 1985 - Notre Dame Journal of Formal Logic 26 (1):51-60.
  3.  8
    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  
  4.  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.
  5.  8
    European summer meeting of the Association for Symbolic Logic.László Csirmaz - 1993 - Journal of Symbolic Logic 58 (3):1098-1149.
  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  
  7.  18
    L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic colloquium '92, studies in logic language, and information'.Ian Hodkinson - 1997 - Journal of Logic, Language and Information 6 (4):453-457.
  8. Evolution - Revolution, edited by Rubin Gotesky and Ervin Lazlo[REVIEW]M. van de Pitte - 1973 - Studia Philosophica 33:237.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  9
    Taken by Design: Photographs From the Institute of Design, 1937-1971.David Travis & Elizabeth Siegel (eds.) - 2002 - University of Chicago Press.
    One of Chicago's great cultural achievements, the Institute of Design was among the most important schools of photography in twentieth-century America. It began as an outpost of experimental Bauhaus education and was home to an astonishing group of influential teachers and students, including Lázló Moholy-Nagy, Harry Callahan, and Aaron Siskind. To date, however, the ID's enormous contributions to the art and practice of photography have gone largely unexplored. Taken by Design is the first publication to examine thoroughly this remarkable institution (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  46
    Common causes love to hide: Gábor Hofer-Szabó, Miklós Rédei and László E. Szabó: The principle of the common cause. Cambridge: Cambridge University Press, 2013, vii+202pp, $99.00 HB. [REVIEW]Chrysovalantis Stergiou - 2014 - Metascience 24 (2):247-251.
    Anything other than paraphrasing the well-known Heraclitean aphorism would not be more appropriate to portray the crux of the contribution of the three philosophers of the Budapest School, Gábor Hofer-Szabó, Miklós Rédei and Lázló E. Szabó, in the ongoing discussion of the principle of the common cause . Indeed, ‘common causes love to hide’ and for that reason critics and aspirant falsifiers of PCC find correlations which, at a first level of analysis, might lack a common cause explanation. But as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark