13 found
Sort by:
  1. Ronald Fagin (ed.) (2003). Reasoning About Knowledge. Mit Press.
    Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. Ronald Fagin (1997). Comparing the Power of Games on Graphs. Mathematical Logic Quarterly 43 (4):431-455.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. 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.
  5. Ronald Fagin (1994). A Quantitative Analysis of Modal Logic. Journal of Symbolic Logic 59 (1):209-252.
    We do a quantitative analysis of modal logic. For example, for each Kripke structure M, we study the least ordinal μ such that for each state of M, the beliefs of up to level μ characterize the agents' beliefs (that is, there is only one way to extend these beliefs to higher levels). As another example, we show the equivalence of three conditions, that on the face of it look quite different, for what it means to say that the agents' (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Ronald Fagin (1993). Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK V). Journal of Logic, Language, and Information 2 (338).
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. Miklos Ajtai & Ronald Fagin (1990). Reachability is Harder for Directed Than for Undirected Finite Graphs. Journal of Symbolic Logic 55 (1):113-150.
    Although it is known that reachability in undirected finite graphs can be expressed by an existential monadic second-order sentence, our main result is that this is not the case for directed finite graphs (even in the presence of certain "built-in" relations, such as the successor relation). The proof makes use of Ehrenfeucht-Fraisse games, along with probabilistic arguments. However, we show that for directed finite graphs with degree at most k, reachability is expressible by an existential monadic second-order sentence.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Ronald Fagin & Joseph Y. Halpern (1988). I'm OK If You're OK: On the Notion of Trusting Communication. [REVIEW] Journal of Philosophical Logic 17 (4):329 - 354.
    We consider the issue of what an agent or a processor needs to know in order to know that its messages are true. This may be viewed as a first step to a general theory of cooperative communication in distributed systems. An honest message is one that is known to be true when it is sent (or said). If every message that is sent is honest, then of course every message that is sent is true. Various weaker considerations than honesty (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Ronald Fagin (1976). Probabilities on Finite Models. Journal of Symbolic Logic 41 (1):50-58.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Ronald Fagin (1975). A Spectrum Hierarchy. Mathematical Logic Quarterly 21 (1):123-134.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Ronald Fagin (1975). A Two‐Cardinal Characterization of Double Spectra. Mathematical Logic Quarterly 21 (1):121-122.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Ronald Fagin (1975). Monadic Generalized Spectra. Mathematical Logic Quarterly 21 (1):89-96.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation