Results for 'Moshe Y. Vardi'

982 found
Order:
  1. On Epistemic Logic and Logical Omniscience.William J. Rapaport & Moshe Y. Vardi - 1988 - Journal of Symbolic Logic 53 (2):668.
    Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (Los Altos, CA: Morgan Kaufmann, 1986),.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  2.  29
    Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
    Vardi, M.Y., Verification of concurrent programs: the automata-theoretic framework, Annals of Pure and Applied Logic 51 79–98. We present an automata-theoretic framework to the verification of concurrent and nondeterministic programs. The basic idea is that to verify that a program P is correct one writes a program A that receives the computation of P as input and diverges only on incorrect computations of P. Now P is correct if and only if a program PA, obtained by combining P and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  39
    Special selection in logic in computer science.Moshe Y. Vardi - 1997 - Journal of Symbolic Logic 62 (2):608.
  4.  10
    A nonstandard approach to the logical omniscience problem.Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1995 - Artificial Intelligence 79 (2):203-240.
  5. What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  6.  46
    Church's problem revisited.Orna Kupferman & Moshe Y. Vardi - 1999 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  43
    Review: Ronald Fagin, Moshe Y. Vardi, Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report.William J. Rapaport, Ronald Fagin & Moshe Y. Vardi - 1988 - Journal of Symbolic Logic 53 (2):667.
  8.  17
    Computer Ethics and Care.Rodrigo Ferreira & Moshe Y. Vardi - 2020 - Teaching Ethics 20 (1-2):139-156.
    Following increasing public concern over the ethical and social implications of contemporary technology, computer science departments around the world have recently increased their efforts to incorporate ethics into their educational curriculum. For our redesigned undergraduate course on Computer Ethics at Rice University, in addition to teaching variety of fundamental ethical theories and approaches to technology, we also sought to emphasize the role of “social” technologies in mediating moral relations and to encourage students to consider moral decision-making, rather than as an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  38
    On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.
    In 1960, E. P. Wigner, a joint winner of the 1963 Nobel Prize for Physics, published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences [61]. This paper can be construed as an examination and affirmation of Galileo's tenet that “The book of nature is written in the language of mathematics”. To this effect, Wigner presented a large number of examples that demonstrate the effectiveness of mathematics in accurately describing physical phenomena. Wigner viewed these examples as (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  10.  88
    On the decision problem for two-variable first-order logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  11.  59
    BDD-based decision procedures for the modal logic K ★.Guoqiang Pan, Ulrike Sattler & Moshe Y. Vardi - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):169-207.
    We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, we compute certain fixpoints of a set of types — which can be viewed as an on-the-fly emptiness of the automaton. We use BDDs to represent and manipulate such type sets, and investigate different kinds of representations as well as a “level-based” representation scheme. The latter turns out to speed up construction and reduce memory consumption (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  12.  26
    Common knowledge revisited.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1999 - Annals of Pure and Applied Logic 96 (1-3):89-105.
  13.  15
    SAT-based explicit LTL f satisfiability checking.Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi & Kristin Y. Rozier - 2020 - Artificial Intelligence 289 (C):103369.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  31
    Relating word and tree automata.Orna Kupferman, Shmuel Safra & Moshe Y. Vardi - 2006 - Annals of Pure and Applied Logic 138 (1):126-146.
    In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata. Already in the 60s, it was known that deterministic Büchi word automata are less expressive than nondeterministic Büchi word automata. The proof is easy and can be stated in a few lines. In the late 60s, Rabin proved that Büchi tree automata are less expressive than Rabin tree automata. This proof is much harder. In this work we relate the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  11
    Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions.Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi & Zhiwei Zhang - 2021 - Artificial Intelligence 299 (C):103559.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  63
    Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  55
    Reasoning about Knowledge: A Response by the Authors. [REVIEW]Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1997 - Minds and Machines 7 (1):113-113.
  18.  98
    Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: 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 ...
    Direct download  
     
    Export citation  
     
    Bookmark   359 citations  
  19.  28
    An operational approach for testing the postulate of measurement in quantum theory.Y. Aharonov & M. Vardi - 1981 - Foundations of Physics 11 (1-2):121-125.
    We interpret the (formal) postulates of measurement in quantum theory in terms of measurement procedures that can be done in the laboratory (at least in principle).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  20
    Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp. [REVIEW]Rohit Parikh - 1997 - Journal of Symbolic Logic 62 (4):1484-1487.
  21.  15
    Review: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning about Knowledge. [REVIEW]Rohit Parikh - 1997 - Journal of Symbolic Logic 62 (4):1484-1487.
  22.  38
    Reasoning about knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi[REVIEW]Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (4):469-473.
  23.  14
    Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi, Reasoning about Knowledge. [REVIEW]V. Goranko - 1999 - Journal of Logic Language and Information 8:469-473.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Special Selection in Logic in Computer Science.Moshe Vardi - 1997 - Journal of Symbolic Logic 62 (2):608-608.
     
    Export citation  
     
    Bookmark  
  25. The naturalness of the artificial and our concepts of health, disease and medicine.Y. Michael Barilan & Moshe Weintraub - 2001 - Medicine, Health Care and Philosophy 4 (3):311-325.
    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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  26. Persuasion as Respect for Persons: An Alternative View of Autonomy and of the Limits of Discourse.Moshe Weintraub & Y. Michael Barilan - 2001 - Journal of Medicine and Philosophy 26 (1):13-34.
    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 (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  34
    Madison, WI, USA March 31–April 3, 2012.Alan Dow, Isaac Goldbring, Warren Goldfarb, Joseph Miller, Toniann Pitassi, Antonio Montalbán, Grigor Sargsyan, Sergei Starchenko & Moshe Vardi - 2013 - Bulletin of Symbolic Logic 19 (2).
  28. Pantagruelism: A Rabelaisian inspiration for Understanding Poisoning, Euthanasia and Abortion in The Hippocratic Oath and in Contemporary Clinical Practice.Y. Michael Barilan & Moshe Weintraub - 2001 - Theoretical Medicine and Bioethics 22 (3):269-286.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Mesilat yesharim: nidpas le-ʻi. n. ha-ḳedoshim she-neʼesfu ba-Shoʼah, h.y.d.Moshe Hayyim Luzzatto - 1906 - Minkhen: Maḥaziḳe ha-dat. Edited by Joseph Wohlgemuth.
     
    Export citation  
     
    Bookmark  
  30. Finite model theory and its applications. Texts in Theoretical Computer Science.E. Grädel, P. G. Kolaitis, L. Libkin, M. Marx, J. Spencer & M. Y. Vardi - 2010 - Bulletin of Symbolic Logic 16 (3):406-407.
  31.  65
    The Bicameral Postulates and Indices of a Priori Voting Power.Dan S. Felsenthal, Moshé Machover & William Zwicker - 1998 - Theory and Decision 44 (1):83-116.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  53
    Moshe Halbertal: HaRambam.George Y. Kohler - 2010 - Zeitschrift für Religions- Und Geistesgeschichte 62 (3):301-303.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  33.  19
    E. Grädel, P.G. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema and S. Weinstein. Finite model theory and its applications. Texts in Theoretical Computer Science. Springer, Berlin, 2007, xiii + 437 pp. [REVIEW]Stephan Kreutzer - 2010 - Bulletin of Symbolic Logic 16 (3):406-407.
  34.  15
    Moshe Halbertal y Stephen Holmes, The Beginning of Politics. Power in the Biblical Book of Samuel, Princeton University Press, New Jersey, 2017. 231 páginas. ISBN: 9780691174624. [REVIEW]Javier Vega Gómez - 2018 - Foro Interno. Anuario de Teoría Política 18:145-147.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35. Sefer Derekh ḥokhmah.Moshe Ḥayyim Luzzatto - 1985 - [H.m.: Ḥ. Mo. L.. Edited by Yitsḥaḳ Spring.
     
    Export citation  
     
    Bookmark  
  36.  6
    Medical decisions in halachah: a guide for end-of-life and other complex medical dilemmas.Moshe Rotberg - 2016 - Lakewood, NJ: Israel Bookshop Publications. Edited by Moshe Rotberg.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  2
    Beyond the cave: a philosopher's quest for truth.Peter Vardy - 2020 - Winchester: Iff Books.
    Challenges the contemporary materialist and post-truth world view and provides a challenging alternative.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  4
    Maduʻa ha-Budha ṭaʻah: Zen ṿe-omanut shetifat ha-kelim = Why was the Buddha wrong: Zen and the art of dishwashing.Igal Vardi - 2018 - Tel Aviv: Sifre ḥemed.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  26
    Association, synonymity, and directionality in false recognition.Moshe Anisfeld & Margaret Knapp - 1968 - Journal of Experimental Psychology 77 (2):171.
  40.  5
    Unpacking affect maintenance and its association with depressive symptoms: integrating positive and negative affects.Noa Vardi, Eva Gilboa-Schechtman & Shimrit Daches - forthcoming - Cognition and Emotion.
    Depression is associated with increased maintenance of negative affect (NA) and reduced – blunted and short-lived – maintenance of positive affect (PA). Studies have focused on factors associated with the maintenance of NA, specifically, the emotion regulation strategy of brooding and the capacity to hold negative affective experiences in working memory (WM). Despite its theoretical importance, less attention has been given to factors associated with the maintenance of PA in depression. This study aims to synthesise factors playing a role in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  4
    Maimonides: life and thought.Moshe Halbertal - 2014 - Princeton, NJ: Princeton University Press. Edited by Joel A. Linsider.
    "In the gorgeous and rugged terrain of Jewish thought, there is no higher mountain to climb than Maimonides, and no more slippery or exhilarating ascent. Halbertal has made it all the way to the top, and his survey of the whole of the Maimonidean landscape is trustworthy and masterful. This is the richest and most intellectually sophisticated book on Maimonides I have ever read."--Leon Wieseltier "In this learned and penetrating work, Halbertal offers us a Maimonides who draws on the dominant (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  8
    The Logika of the Judaizers: a fifteenth-century Ruthenian translation from Hebrew: critical edition of the Slavic texts presented alongside their Hebrew sources = ha-Logiḳah shel ha-mityahadim: targum Ruteni ben ha-meʼah ha-15 min ha-ʻIvrit: mahadurah biḳortit shel ha-ṭeḳsṭim ha-Slaviyim be-liṿui meḳorotehem ha-ʻIvriyim.Moshe Taube (ed.) - 2016 - Jerusalem: Israel Academy of Sciences and Humanities.
    In the latter part of the fifteenth century, a Jewish translator, working together with a Slavic amanuensis, translated into the East Slavic language of the Grand Duchy of Lithuania three medieval Hebrew translations of Arabic philosophical texts: the Logical Terminology, a short work on logic attributed to Maimonides (but probably by a different medieval Jewish author); and two sections of the Muslim theologian Al-Ghazali's famous Intentions of the Philosophers. Highlighting the unexpected role played by Jewish translators as agents of cultural (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  4
    Mesillas yesharim: way of the upright = Mesilat yesharim.Moshe Ḥayyim Luzzatto - 2014 - Brooklyn, N.Y.: Mesorah Publications.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  6
    Ḥalom ṿe-zikaron: masah ʻal tefisah, zikaron, shenah ṿa-ḥalom = Dream & memory: an essay on perception, memory, sleeping and dreaming.Moshe Menasheof - 2016 - Tel-Aviv: Ketav. Edited by Hagar Gur Aryeh.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  4
    Pashuṭ le-haʼamin: madrikh la-maʼamin ha-ratsyonali = Just believe.Moshe Rat - 2017 - Rishon le-Tsiyon: Sifre ḥemed.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  9
    Judaism straight up: why real religion endures.Moshe Koppel - 2020 - New Milford, CT, USA: Maggid Books, an imprint of Koren Publishers.
    In Judaism Straight Up, Moshe Koppel explores the central differences between traditional societies--including traditional Judaism--and contemporary cosmopolitan ones. He explains everything you always wanted to know about the subtleties of Jewish morality, tradition, and belief, and how these have unfolded to beat cosmopolitanism at its own game: advancing cooperation, fairness, and freedom. Written with incisiveness and droll wit--and a scientific sensibility that draws on economics, game theory, and other disciplines--Judaism Straight Up reveals the secret of Jewish traditionalism's endurance."--Page [4] (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Kitve M. a. Beigel.Moshe Avigal - 1936
     
    Export citation  
     
    Bookmark  
  48.  2
    What Can Moses Teach Organizations’ Leaders About Fatherly Love.Moshe Banai & Claude-Hélène Mayer - 2024 - Humanistic Management Journal 9 (1):75-93.
    This study proposes that Moses’ agape and storge love of his people was the motivation for his adoption of fatherly leadership style. The study relies on a direct reading of Hebrew language version of the relevant books of the Old Testament. We provide examples that anchor Moses fatherly leadership style in biblical texts, and reference it to modern leadership thoughts and practical wisdom. Moses’ traits, such as humility, gratitude, forgiveness, and altruism, and his unparalleled grit provided him with the capabilities (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Hokhaḥot logiyot bi-devar ḳiyumah shel ha-neshamah.Moshe Kroy - 1980 - Tel-Aviv: Sifre "Metsiʼut".
    No categories
     
    Export citation  
     
    Bookmark  
  50.  2
    Daʻat tevunot.Moshe Ḥayyim Luzzatto - 1948 - Jerusalem: Mosad ha-Rav Ḳuḳ.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 982