• DocumentCode
    2179490
  • Title

    A decidability result for a second order process logic

  • Author

    Parikh, Rohit

  • fYear
    1978
  • fDate
    16-18 Oct. 1978
  • Firstpage
    177
  • Lastpage
    183
  • Abstract
    We prove the decidability of the validity problem for a rather general language for talking about computations. As corollaries of our result, we obtain some decidability results of Pratt, Constable, Fischer-Ladner, and Pnueli and also a new decidability result for deterministic propositional dynamic logic.
  • Keywords
    Clocks; Frequency locked loops; Laboratories; Logic; Personal communication networks; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1978., 19th Annual Symposium on
  • Conference_Location
    Ann Arbor, MI, USA
  • ISSN
    0272-5428
  • Type

    conf

  • DOI
    10.1109/SFCS.1978.2
  • Filename
    4567977
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2179490