Search results for 'Y. Moshe' (try it on Scholar)

23 found
Sort by:
  1. Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein (2007). Finite Model Theory and its Applications. Springer.score: 240.0
    This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Valentin Goranko (1999). Reasoning About Knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Journal of Logic, Language and Information 8 (4):469-473.score: 72.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Rohit Parikh (1997). Review: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning About Knowledge. [REVIEW] Journal of Symbolic Logic 62 (4):1484-1487.score: 72.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. William J. Rapaport (1988). Review: Ronald Fagin, Moshe Y. Vardi, Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report. [REVIEW] Journal of Symbolic Logic 53 (2):667-667.score: 72.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. V. Goranko (1999). Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi, Reasoning About Knowledge. Journal of Logic Language and Information 8:469-473.score: 72.0
     
    My bibliography  
     
    Export citation  
  6. Rohit Parikh (1997). Fagin Ronald, Halpern Joseph Y., Moses Yoram, and Vardi Moshe Y.. Reasoning About Knowledge. MIT Press, Cambridge, Mass., and London 1995, Xiii+ 477 Pp. [REVIEW] Journal of Symbolic Logic 62 (4):1484-1487.score: 72.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. William J. Rapaport (1988). Review: Moshe Y. Vardi, On Epistemic Logic and Logical Omniscience. [REVIEW] Journal of Symbolic Logic 53 (2):668-668.score: 72.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Y. Michael Barilan & Moshe Weintraub (2001). Pantagruelism: A Rabelaisian Inspiration for Understanding Poisoning, Euthanasia and Abortion in the Hippocratic Oath and in Contemporary Clinical Practice. Theoretical Medicine and Bioethics 22 (3):269-286.score: 24.0
    Contrary to the common view, this paper suggests that the Hippocratic oath does not directly refer to the controversial subjects of euthanasia and abortion. We interpret the oath in the context of establishing trust in medicine through departure from Pantagruelism. Pantagruelism is coined after Rabelais' classic novel Gargantua and Pantagruel. His satire about a wonder herb, Pantagruelion, is actually a sophisticated model of anti-medicine in which absence of independent moral values and of properly conducted research fashion a flagrant over-medicalization of (...)
    Direct download (4 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.score: 24.0
    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. Y. Michael Barilan & Moshe Weintraub (2001). Persuasion as Respect for Persons: An Alternative View of Autonomy and of the Limits of Discourse. Journal of Medicine and Philosophy 26 (1):13 – 34.score: 24.0
    The article calls for a departure from the common concept of autonomy in two significant ways: it argues for the supremacy of semantic understanding over procedure, and claims that clinicians are morally obliged to make a strong effort to persuade patients to accept medical advice. We interpret the value of autonomy as derived from the right persons have to respect, as agents who can argue, persuade and be persuaded in matters of utmost personal significance such as decisions about medical care. (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  11. Y. Michael Barilan & Moshe Weintraub (2001). The Naturalness of the Artificial and Our Concepts of Health, Disease and Medicine. Medicine, Health Care and Philosophy 4 (3):311-325.score: 24.0
    This article isolates ten prepositions, which constitute the undercurrent paradigm of contemporary discourse of health disease and medicine. Discussion of the interrelationship between those prepositions leads to a systematic refutation of this paradigm. An alternative set is being forwarded. The key notions of the existing paradigm are that health is the natural condition of humankind and that disease is a deviance from that nature. Natural things are harmonious and healthy while human made artifacts are coercive interference with natural balance. It (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Orna Kupferman & Moshe Y. Vardi (1999). Church's Problem Revisited. Bulletin of Symbolic Logic 5 (2):245-263.score: 24.0
    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  
  13. Moshe Y. Vardi (1997). Special Selection in Logic in Computer Science. Journal of Symbolic Logic 62 (2):608.score: 24.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. 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.score: 24.0
  15. 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.score: 24.0
    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  
  16. Moshe Weintraub & Y. Michael Barilan (2001). Persuasion as Respect for Persons: An Alternative View of Autonomy and of the Limits of Discourse. Journal of Medicine and Philosophy 26 (1):13-34.score: 24.0
  17. Orna Kupferman, Shmuel Safra & Moshe Y. Vardi (2006). Relating Word and Tree Automata. Annals of Pure and Applied Logic 138 (1):126-146.score: 24.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. 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.score: 24.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. 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.score: 24.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. George Y. Kohler (2010). Moshe Halbertal: HaRambam. Zeitschrift für Religions- Und Geistesgeschichte 62 (3):301-303.score: 24.0
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. 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.score: 24.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Moshe Y. Vardi (1991). Verification of Concurrent Programs: The Automata-Theoretic Framework. Annals of Pure and Applied Logic 51 (1-2):79-98.score: 24.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Dan S. Felsenthal, Moshé Machover & William Zwicker (1998). The Bicameral Postulates and Indices of a Priori Voting Power. Theory and Decision 44 (1):83-116.score: 12.0
    If K is an index of relative voting power for simple voting games, the bicameral postulate requires that the distribution of K -power within a voting assembly, as measured by the ratios of the powers of the voters, be independent of whether the assembly is viewed as a separate legislature or as one chamber of a bicameral system, provided that there are no voters common to both chambers. We argue that a reasonable index – if it is to be used (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation