Results for 'Rohit Dalvi'

121 found
Order:
  1. The Essential Vedanta a New Source Book of Advaita Vedanta.Eliot Deutsch & Rohit Dalvi - 2004
     
    Export citation  
     
    Bookmark   1 citation  
  2. Heroes, Monsters and Values: Philosophy and Sci-Fi Films of the 1970's.Michael Berman & Rohit Dalvi (eds.) - 2011 - Cambridge Scholars Press.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Studies in the Philosophy of Michel Foucault.Brian Lightbody & Rohit Dalvi (eds.) - 2010 - Edwin Mellen Press.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Metaphorics of Seeing.R. S. Dalvi - 1996 - Indian Philosophical Quarterly 23 (1-2):215-232.
    No categories
     
    Export citation  
     
    Bookmark  
  5. Role Model: A Key to Character Development.Vinay B. Dalvi - 2010 - Pentagon Press.
    pt. 1. Character development -- pt. 2. Training at NDA, IMA & OTA -- pt. 3. Army pt tests -- pt. 4. Leadership development -- pt. 5. Positive development -- pt. 6. Author's reminiscences.
     
    Export citation  
     
    Bookmark  
  6. The Complete Bibliography of Rohit Parikh.Rohit Parikh - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  26
    Vaughan R. Pratt. Semantical Considerations on Floyd–Hoare Logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, Pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences, Vol. 18 , Pp. 194–211. - Krister Segerberg. A Completeness Theorem in the Modal Logic of Programs. Universal Algebra and Applications. Papers Presented at Stefan Banach International Mathematical Center at the Semester “Universal Algebra and Applications” Held February 15–June 9, 1978, Edited by Tadeuz Traczyk, Banach Center Publications, Vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, Pp. 31–46. - Rohit Parikh. The Completeness of Propositional Dynamic Logic. Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4–8, 1978, Edited by J. Winkowski, Lecture Notes in Computer Science, Vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
  8.  16
    Albert R. Meyer and Rohit Parikh. Definability in Dynamic Logic. Journal of Computer and System Sciences, Vol. 23 , Pp. 279–298. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
  9. The Parikh Project. Seven Papers in Honour of Rohit.Krister Segerberg (ed.) - 1996 - Uppsala Prints & Preprints in Philosophy.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  10.  24
    Johan van Benthem, Amitabha Gupta and Rohit Parikh (Eds.), Proof, Computation and Agency. Logic at the Crossroads. Dordrecht, Springer, 2011. Johan van Benthem, Amitabha Gupta and Eric Pacuit (Eds.), Games, Norms and Reasons. Logic at the Crossroads. Dordrecht, Springer, 2011 (Joint Review). [REVIEW]Lorenz Demey - 2012 - Tijdschrift Voor Filosofie 74 (2):379-381.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Rohit Sharma, On the Seventh Solitude: Endless Becoming and Eternal Return in the Poetry of Friedrich Nietzsche Reviewed By.Alena Dvorakova - 2008 - Philosophy in Review 28 (3):223-225.
     
    Export citation  
     
    Bookmark  
  12.  4
    Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
  13. Review: Kurt Godel, Uber Die Lange Yon Beweisen (1936a); Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On the Length of Proofs (1936a); Rohit Parikh, Introductory Note to 1936a. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-348.
     
    Export citation  
     
    Bookmark  
  14.  8
    Rohit Parikh on Logic, Language and Society.Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.) - 2017 - Springer Verlag.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  20
    Obituary: Horacio Arló-Costa.Rohit Parikh & Jeffrey Helzner - 2012 - Episteme 9 (2):89-89.
    Editorial Rohit Parikh, Jeffrey Helzner, Episteme, FirstView Article.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  16.  44
    A Knowledge Based Semantics of Messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.
    We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  17.  29
    Relevance Sensitive Belief Structures.Samir Chopra & Rohit Parikh - unknown
    We propose a new relevance sensitive model for representing and revising belief structures, which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally tractable procedures for query answering and belief..
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   17 citations  
  18. Conditional Probability and Defeasible Inference.Horacio Arlo-Costa & Rohit Parikh - manuscript
    Journal of Philosophical Logic 34, 97-119, 2005.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  19.  59
    The Logic of Knowledge Based Obligation.Eric Pacuit, Rohit Parikh & Eva Cogan - 2006 - Synthese 149 (2):311-341.
    Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  20.  73
    Existence and Feasibility in Arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   60 citations  
  21. Conditional Probability and Defeasible Inference.Rohit Parikh - 2005 - Journal of Philosophical Logic 34 (1):97 - 119.
    We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990) by appealing to the extension of the classical Ramsey-Adams test proposed by Vann McGee in (McGee, 1994). Previous and influential models of nonmonotonic consequence relations have been produced in terms of the dynamics of expectations (Gärdenfors and Makinson, 1994; Gärdenfors, 1993).'Expectation' is a term of art in these models, which should not be confused with the notion of expected utility. The expectations of an agent are some form (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  22.  20
    Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  23.  19
    Topological Reasoning and the Logic of Knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.
    We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logic is in subset spaces , and we obtain complete axiomatizations for the sentences which hold in these interpretations. In addition, we axiomatize the validities of the smaller class of topological spaces in a system we call topologic . We also prove decidability for these two systems. Our results on topologic relate (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  24. Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
    Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language. The logic can be used to reason about determined 2-player games. We present an overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  25.  50
    Social Software.Rohit Parikh - 2002 - Synthese 132 (3):187-211.
    We suggest that the issue of constructing and verifying social procedures, which we suggestively call "social software", be pursued as systematically as computer software is pursued by computer scientists. Certain complications do arise with social software which do not arise with computer software, but the similarities are nonetheless strong, and tools already exist which would enable us to start work on this important project. We give a variety of suggestive examples and indicate some theoretical work which already exists. I send (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  26. Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us?Rohit Parikh - 2008 - Review of Symbolic Logic 1 (4):459-476.
    We propose a model for belief which is free of presuppositions. Current models for belief suffer from two difficulties. One is the well known problem of logical omniscience which tends to follow from most models. But a more important one is the fact that most models do not even attempt to answer the question what it means for someone to believe something, and just what it is that is believed. We provide a flexible model which allows us to give meaning (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  88
    Vagueness and Utility: The Semantics of Common Nouns. [REVIEW]Rohit Parikh - 1994 - Linguistics and Philosophy 17 (6):521 - 535.
    A utility-based approach to the understanding of vague predicates (VPs) is proposed. It is argued that assignment of truth values to propositions containing VPs entails unjustifiable assumptions of consensus; two models of VP semantics are criticized on this basis: (1) the super-truth theory of Kit Fine (1975), which requires an unlikely consensus on base points; (2) the fuzzy logic of Lotfi Zadeh (1975), on fuzzy truth values of sentences. Pragmatism is held to provide a key: successful behavior justifies a person's (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  28.  16
    Propositional Relevance Through Letter-Sharing.David Makinson - 2009 - Journal of Applied Logic 7 (4):377-387.
    The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a long time. But it began to take on a fresh life in the late 1990s when it was reconsidered in the context of the logic of belief change. Two new ideas appeared in independent work of Odinaldo Rodrigues and Rohit Parikh: the relation of relevance was considered modulo the choice of a background belief set, and the belief set was put into (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  56
    Relevance Sensitive Non-Monotonic Inference on Belief Sequences.Samir Chopra, Konstantinos Georgatos & Rohit Parikh - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):131-150.
    We present a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the putative conclusion and formulas in the sequence. The relevance relations are ternary (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  58
    Respecting Relevance in Belief Change.David C. Makinson & George Kourousias - 2006 - Análisis Filosófico 26 (1):53-61.
    In this paper dedicated to Carlos Alchourrón, we review an issue that emerged only after his death in 1996, but would have been of great interest to him: To what extent do the formal operations of AGM belief change respect criteria of relevance? A natural criterion was proposed in 1999 by Rohit Parikh, who observed that the AGM model does not always respect it. We discuss the pros and cons of this criterion, and explain how the AGM account may (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Justified True Belief: Plato, Gettier, and Turing.Adriana Renero & Rohit Parikh - 2017 - In Alisa Bokulich & Juliet Floyd (eds.), Philosophical Explorations of the Legacy of Alan Turing. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  32.  19
    The Impact of the Rasouli Decision: A Survey of Canadian Intensivists.David Cape, Alison Fox-Robichaud, Alexis F. Turgeon, Andrew Seely, Richard Hall, Karen Burns, Rohit K. Singal, Peter Dodek, Sean Bagshaw, Robert Sibbald & James Downar - 2016 - Journal of Medical Ethics 42 (3):180-185.
  33.  40
    Probabilistic Conditionals Are Almost Monotonic.Matthew P. Johnson & Rohit Parikh - 2008 - Review of Symbolic Logic 1 (1):73-80.
    One interpretation of the conditional If P then Q is as saying that the probability of Q given P is high. This is an interpretation suggested by Adams (1966) and pursued more recently by Edgington (1995). Of course, this probabilistic conditional is nonmonotonic, that is, if the probability of Q given P is high, and R implies P, it need not follow that the probability of Q given R is high. If we were confident of concluding Q from the fact (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  37
    Propositional Relevance Through Letter-Sharing: Review and Contribution.David C. Makinson - unknown
    The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life in 1999 when it was reconsidered in the context of the logic of belief change. Two new ideas appeared in independent work of Odinaldo Rodrigues and Rohit Parikh. First, the relation of relevance was considered modulo the belief set under consideration, Second, the belief set was put in a canonical (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  35.  75
    Vague Predicates and Language Games.Rohit Parikh - 1996 - Theoria 11 (3):97-107.
    Attempts to give a Logic or Semantics for vague predicates and to defuse the Sorites paradoxes have been largely a failure. We point out yet another problem with these predicates which has not been remarked on before,namely that different people do and must use these predicates in individually different ways. Thus even if there were a semantics for vague predicates, people would not be able to share it. To explain the occurrence nonetheless of these troublesome predicates in language, we propose (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. The Contemporary Significance of Primitive Accumulation.Rohit Negi & Marc Auerbach - 2009 - Human Geography 2 (3).
     
    Export citation  
     
    Bookmark   1 citation  
  37.  51
    Updating Knowledge Using Subsets.Konstantinos Georgatos - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):427-441.
    Larry Moss and Rohit Parikh used subset semantics to characterize a family of logics for reasoning about knowledge. An important feature of their framework is that subsets always decrease based on the assumption that knowledge always increases. We drop this assumption and modify the semantics to account for logics of knowledge that handle arbitrary changes, that is, changes that do not necessarily result in knowledge increase, such as the update of our knowledge due to an action. We present a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  28
    Completeness of Certain Bimodal Logics for Subset Spaces.M. Angela Weiss & Rohit Parikh - 2002 - Studia Logica 71 (1):1-30.
    Subset Spaces were introduced by L. Moss and R. Parikh in [8]. These spaces model the reasoning about knowledge of changing states. In [2] a kind of subset space called intersection space was considered and the question about the existence of a set of axioms that is complete for the logic of intersection spaces was addressed. In [9] the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  4
    Knowledge Theoretic Properties of Topological Spaces.Konstantinos Georgatos - 1994 - In Masuch, Michael & Polos Laszlo (eds.), Knowledge Representation and Uncertainty. Springer Verlag. pp. 147--159.
    We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh (1992). Among our results is the confirmation of a conjecture by Moss and Parikh, as well as the finite satisfiability property and decidability for the theory of topological models.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  20
    Seasonality of Birth in India.R. P. Bernard, Rohit V. Bhatt, D. M. Potts & A. Padma Rao - 1978 - Journal of Biosocial Science 10 (4):409-421.
  41.  14
    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.
  42.  49
    Logic in India—Editorial Introduction.Hans van Ditmarsch, Rohit Parikh & Ramaswamy Ramanujam - 2011 - Journal of Philosophical Logic 40 (5):557-561.
  43.  11
    Georg Kreisel and William W. Tait. Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 7 , Pp. 28–38. [REVIEW]Rohit Parikh - 1967 - Journal of Symbolic Logic 32 (2):270-271.
  44.  11
    Sheila Greibach. A New Normal-Form Theorem for Context-Free Phrase Structure Grammars. Journal of the Association for Computing Machinery, Vol. 12 , Pp. 42–52. [REVIEW]Rohit Parikh - 1969 - Journal of Symbolic Logic 34 (4):658.
  45.  18
    Vague Predicates and Language Games.Rohit Parikh - 1996 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 11 (3):97-107.
    Attempts to give a Logic or Semantics for vague predicates and to defuse the Sorites paradoxes have been largely a failure. We point out yet another problem with these predicates which has not been remarked on before,namely that different people do and must use these predicates in individually different ways. Thus even if there were a semantics for vague predicates, people would not be able to share it. To explain the occurrence nonetheless of these troublesome predicates in language, we propose (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  28
    On Knowledge and Obligation.Can Başķent, Loes Olde Loohuis & Rohit Parikh - 2012 - Episteme 9 (2):171-188.
    This article provides a brief overview of several formal frameworks concerning the relation between knowledge on the one hand, and obligation on the other. We discuss the paradox of the knower, knowledge based obligation, knowingly doing, deontic dynamic epistemology, descriptive obligations, and responsibilities as dynamic epistemology.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  47.  21
    A Discussion on Explicit Knowledge.Ramaswamy Ramanujam - 1996 - In Krister Segerberg (ed.), The Parikh Project. Seven Papers in Honour of Rohit. Uppsala Prints & Preprints in Philosophy. pp. 1996--18.
  48.  9
    High Medicaid Nursing Homes: Organizational and Market Factors Associated With Financial Performance.Robert Weech-Maldonado, Justin Lord, Rohit Pradhan, Ganisher Davlyatov, Neeraj Dayama, Shivani Gupta & Larry Hearld - 2019 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 56:004695801882506.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  12
    Ambalavaner Sivanandan and Black Politics in Britain.Rohit K. Dasgupta - 2018 - Theory, Culture and Society 35 (7-8):313-318.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  31
    2000-2001 Spring Meeting of the Association for Symbolic Logic.Michael Detlefsen, Erich Reck, Colin McLarty, Rohit Parikh, Larry Moss, Scott Weinstein, Gabriel Uzquiano, Grigori Mints & Richard Zach - 2001 - Bulletin of Symbolic Logic 7 (3):413-419.
1 — 50 / 121