Results for 'Moshe Y. Vardi'

1000+ found
Order:
  1.  23
    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.
  2.  21
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. 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   14 citations  
  4. 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   6 citations  
  5.  44
    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 (10 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  6.  33
    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.
  7.  6
    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  
  8.  15
    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.
  9.  12
    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.
  10. Logic for Programming Artificial Intelligence and Reasoning 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings. [REVIEW]Moshe Y. Vardi & A. Voronkov - 2003
     
    Export citation  
     
    Bookmark  
  11.  30
    Special Selection in Logic in Computer Science.Moshe Y. Vardi - 1997 - Journal of Symbolic Logic 62 (2):608.
  12.  36
    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   1 citation  
  13.  19
    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.
  14.  14
    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.
  15.  41
    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.
  16. A Nonstandard Approach to the Logical Omniscience Problem.Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1995 - Artificial Intelligence 79 (2):203-240.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  63
    Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - 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   348 citations  
  18.  24
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  19.  52
    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  
  20.  48
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  2
    SAT-Based Explicit LTLf Satisfiability Checking.Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi & Kristin Y. Rozier - 2020 - Artificial Intelligence 289:103369.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  20
    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  
  23.  10
    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.
  24.  5
    Special Selection in Logic in Computer Science.Moshe Vardi - 1997 - Journal of Symbolic Logic 62 (2):608-608.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  5
    On The Decision Problem For Two-Variable First-Order Logic, By, Pages 53 -- 69.Erich Gr\"Adel, Phokion Kolaitis & Moshe Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  26. 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 (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  93
    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  
  28.  20
    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).
  29.  7
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. 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  
  31.  36
    Moshe Halbertal: HaRambam.George Y. Kohler - 2010 - Zeitschrift für Religions- Und Geistesgeschichte 62 (3):301-303.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  57
    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 (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. 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.
  34.  9
    Maimónides romanceado: Apuntes sobre la "Visión Deleitable" y la recepción de la "Guía" en la España cuatrocentista.Luis M. Girón Negrón - 2018 - Anales Del Seminario de Historia de la Filosofía 35 (3):599-615.
    The first part of this study offers a synoptic overview of Alfonso de la Torre’s selective engagement with Maimonidean philosophy in the first part of his Visión Deleitable. Our analysis is complemented with some comparative notes on the reception of Maimonides’s thought in late medieval Spain. Visión Deleitabl e’s fate will be examined in comparison to two other 15th century works of Jewish or converso authorship that also broached the Guide for the Perplexed for the benefit of Christian readers: the (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  54
    Two Methods of Constructing Contractions and Revisions of Knowledge Systems.Hans Rott - 1991 - Journal of Philosophical Logic 20 (2):149 - 173.
    This paper investigates the formal relationship between two prominent approaches to the logic of belief change. The first one uses the idea of "relational partial meet contractions" as developed by Alchourrón, Gärdenfors and Makinson (Journal of Symbolic Logic 1985), the second one uses the concept of "epistemic entrenchment" as elaborated by Gärdenfors and Makinson (in Theoretical Aspects of Reasoning about Knowledge, M. Y. Vardi, Los Altos 1988). The two approaches are shown to be strictly equivalent via direct links between (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  36.  82
    The Effects of Organizational and Ethical Climates on Misconduct at Work.Yoav Vardi - 2001 - Journal of Business Ethics 29 (4):325 - 337.
    Questionnaire data obtained from 97 supervisory and nonsupervisory employees representing the Production, Production Services, Marketing, and Administration departments of an Israeli metal production plant were used to test the relationship between selected personal and organizational attributes and work related misbehavior. Following Vardi and Wiener''s (1996) framework, Organizational Misbehavior (OMB) was defined as intentional acts that violate formal core organizational rules. We found that there was a significant negative relationship between Organizational Climate and OMB, and between the Organizational Climate dimensions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  37. The Truth Behind Conscientious Objection in Medicine.Nir Ben-Moshe - 2019 - Journal of Medical Ethics 45 (6):404-410.
    Answers to the questions of what justifies conscientious objection in medicine in general and which specific objections should be respected have proven to be elusive. In this paper, I develop a new framework for conscientious objection in medicine that is based on the idea that conscience can express true moral claims. I draw on one of the historical roots, found in Adam Smith’s impartial spectator account, of the idea that an agent’s conscience can determine the correct moral norms, even if (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  38. The Proactive Brain: Using Analogies and Associations to Generate Predictions.Moshe Bar - 2007 - Trends in Cognitive Sciences 11 (7):280-289.
  39. Lights Along the Way: Timeless Lessons for Today From Rabbi Moshe Chaim Luzzatto's Mesillas Yesharim.Moshe Ḥayyim Luzzatto - 1995 - Mesorah Publications.
     
    Export citation  
     
    Bookmark  
  40. The Effects of Classroom Moral Discussion Upon Children's Level of Moral Judgment.Moshe M. Blatt & Lawrence Kohlberg - 1975 - Journal of Moral Education 4 (2):129-161.
    Abstract: An experiment is reported on the effects of a moral education programme in schools. Children were pretested on Kohlberg's index of level of moral thinking. The experimental group was then given twelve hours of discussion of moral problems other than those used in Kolhberg's test spread over twelve weeks. Subsequent testing showed that the experimental group had had tended to move towards a higher level of thinking when compared with controls.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   65 citations  
  41. An Adam Smithian Account of Moral Reasons.Nir Ben‐Moshe - 2020 - European Journal of Philosophy 28 (4):1073-1087.
    The Humean Theory of Reasons, according to which all of our reasons for action are explained by our desires, has been criticized for not being able to account for “moral reasons,” namely, overriding reasons to act on moral demands regardless of one's desires. My aim in this paper is to utilize ideas from Adam Smith's moral philosophy in order to offer a novel and alternative account of moral reasons that is both desire-based and accommodating of an adequate version of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  69
    Making Sense of Smith on Sympathy and Approbation: Other-Oriented Sympathy as a Psychological and Normative Achievement.Nir Ben-Moshe - 2020 - British Journal for the History of Philosophy 28 (4):735-755.
    Two problems seem to plague Adam Smith’s account of sympathy and approbation in The Theory of Moral Sentiments (TMS). First, Smith’s account of sympathy at the beginning of TMS appears to be inconsistent with the account of sympathy at the end of TMS. In particular, it seems that Smith did not appreciate the distinction between ‘self-oriented sympathy’ and ‘other-oriented sympathy’, that is, between imagining being oneself in the actor’s situation and imagining being the actor in the actor’s situation. Second, Smith’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  83
    Conscientious Objection in Medicine: Making it Public.Nir Ben-Moshe - forthcoming - HEC Forum:1-21.
    The literature on conscientious objection in medicine presents two key problems that remain unresolved: Which conscientious objections in medicine are justified, if it is not feasible for individual medical practitioners to conclusively demonstrate the genuineness or reasonableness of their objections? How does one respect both medical practitioners’ claims of conscience and patients’ interests, without leaving practitioners complicit in perceived or actual wrongdoing? My aim in this paper is to offer a new framework for conscientious objections in medicine, which, by bringing (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  44.  21
    Association, Synonymity, and Directionality in False Recognition.Moshe Anisfeld & Margaret Knapp - 1968 - Journal of Experimental Psychology 77 (2):171.
  45.  63
    Might There Be a Medical Conscience?Nir Ben-Moshe - 2019 - Bioethics 33 (7):835-841.
    I defend the feasibility of a medical conscience in the following sense: a medical professional can object to the prevailing medical norms because they are incorrect as medical norms. In other words, I provide an account of conscientious objection that makes use of the idea that the conscience can issue true normative claims, but the claims in question are claims about medical norms rather than about general moral norms. I further argue that in order for this line of reasoning to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. The Internal Morality of Medicine: A Constructivist Approach.Nir Ben-Moshe - 2019 - Synthese 196 (11):4449-4467.
    Physicians frequently ask whether they should give patients what they want, usually when there are considerations pointing against doing so, such as medicine’s values and physicians’ obligations. It has been argued that the source of medicine’s values and physicians’ obligations lies in what has been dubbed “the internal morality of medicine”: medicine is a practice with an end and norms that are definitive of this practice and that determine what physicians ought to do qua physicians. In this paper, I defend (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  46
    Set Theory, Logic and Their Limitations.Moshe Machover - 1996 - Cambridge University Press.
    This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  48.  37
    A Cognitive Neuroscience Hypothesis of Mood and Depression.Moshe Bar - 2009 - Trends in Cognitive Sciences 13 (11):456.
  49. Localizing the Cortical Region Mediating Visual Awareness of Object Identity.Moshe Bar & Irving Biederman - 1999 - Proceedings of the National Academy of Sciences of the United States of America 96 (4):1790-1793.
  50.  17
    Evaluation Anxiety.Moshe Zeidner, Gerald Matthews, A. J. Elliot & C. S. Dweck - 2005 - In Andrew J. Elliot & Carol S. Dweck (eds.), Handbook of Competence and Motivation. The Guilford Press.
1 — 50 / 1000