10 found
Sort by:
  1. Orna Kupferman, Shmuel Safra & Moshe Y. Vardi (2006). Relating Word and Tree Automata. Annals of Pure and Applied Logic 138 (1):126-146.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Guoqiang Pan, Ulrike Sattler & Moshe Y. Vardi (2006). BDD-Based Decision Procedures for the Modal Logic K ★. Journal of Applied Non-Classical Logics 16 (1-2):169-207.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu (2001). On the Unusual Effectiveness of Logic in Computer Science. Bulletin of Symbolic Logic 7 (2):213-236.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1999). Common Knowledge Revisited. Annals of Pure and Applied Logic 96 (1-3):89-105.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Orna Kupferman & Moshe Y. Vardi (1999). Church's Problem Revisited. Bulletin of Symbolic Logic 5 (2):245-263.
    In program synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is open, then at each moment it reads input signals and writes output signals, which depend on the input signals and the history of the computation so far. The specification considers all possible input sequences. Thus, if the specification is linear, it should hold in every computation generated by the interaction, and if the specification is branching, it should hold in (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1997). Reasoning About Knowledge: A Response by the Authors. [REVIEW] Minds and Machines 7 (1):113-113.
  7. Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi (1997). On the Decision Problem for Two-Variable First-Order Logic. Bulletin of Symbolic Logic 3 (1):53-69.
    We identify the computational complexity of the satisfiability problem for FO 2 , the fragment of first-order logic consisting of all relational first-order sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO 2 has the finite-model property, which means that if an FO 2 -sentence is satisfiable, then it has a finite (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Moshe Y. Vardi (1997). Special Selection in Logic in Computer Science. Journal of Symbolic Logic 62 (2):608.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi (1992). What is an Inference Rule? Journal of Symbolic Logic 57 (3):1018-1045.
    What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution $\tau$, the validity of $\tau \lbrack\sigma\rbrack$ entails the validity of $\tau\lbrack\varphi\rbrack)$, and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution $\tau$, the truth of $\tau\lbrack\sigma\rbrack$ entails the truth of $\tau\lbrack\varphi\rbrack)$. In this paper we introduce a general semantic framework that allows us to investigate the notion of inference (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Moshe Y. Vardi (1991). Verification of Concurrent Programs: The Automata-Theoretic Framework. Annals of Pure and Applied Logic 51 (1-2):79-98.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation