30 found
Sort by:
Disambiguations:
Eric Pacuit [28]E. Pacuit [1]E. J. Pacuit [1]
  1. Horacio Arlo-Costa & Eric Pacuit, First Order Classical Modal Logic, Studia Logica, 84, 2, 171-210, 2006.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Eric Pacuit, First-Order Classical.
    The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness results for normal systems without the Barcan Formula (like FOL + K) in terms of (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Johan van Benthem & Eric Pacuit, Toward a Theory of Play: A Logical Perspective on Games and Interaction.
    The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then show how this fine-grained perspective has already shed new light on the long-term dynamics of information exchange, as well as on the much-discussed question of extensive game rationality.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Eric Pacuit, Notes on Modal Logic.
    These short notes are intended to supplement the lectures and text ntroduce some of the basic concepts of Modal Logic. The primary goal is to provide students in Philosophy 151 at Stanford University with a study guide that will complement the lectures on modal logic. There are many textbooks that you can consult for more information. The following is a list of some texts (this is not a complete list, but a pointer to books that I have found particularly useful).
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Eric Pacuit (forthcoming). Voting Methods. Stanford Encyclopedia of Philosophy.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Dominik Klein & Eric Pacuit (2014). Changing Types: Information Dynamics for Qualitative Type Spaces. Studia Logica 102 (2):297-319.
    Many different approaches to describing the players’ knowledge and beliefs can be found in the literature on the epistemic foundations of game theory. We focus here on non-probabilistic approaches. The two most prominent are the so-called Kripkeor Aumann- structures and knowledge structures (non-probabilistic variants of Harsanyi type spaces). Much of the recent work on Kripke structures has focused on dynamic extensions and simple ways of incorporating these. We argue that many of these ideas can be applied to knowledge structures as (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Johan van Benthem, David Fernández-Duque & Eric Pacuit (2014). Evidence and Plausibility in Neighborhood Structures. Annals of Pure and Applied Logic 165 (1):106-133.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Eric Pacuit (2013). Dynamic Epistemic Logic I: Modeling Knowledge and Belief. Philosophy Compass 8 (9):798-814.
    Dynamic epistemic logic, broadly conceived, is the study of logics of information change. This is the first paper in a two-part series introducing this research area. In this paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Eric Pacuit (2013). Dynamic Epistemic Logic II: Logics of Information Change. Philosophy Compass 8 (9):815-833.
    This is the second paper in a two-part series introducing logics for reasoning about the dynamics of knowledge and beliefs. Part I introduced different logical systems that can be used to reason about the knowledge and beliefs of a group of agents. In this second paper, I show how to adapt these logical systems to reason about the knowledge and beliefs of a group of agents during the course of a social interaction or rational inquiry. Inference, communication and observation are (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Olivier Roy & Eric Pacuit (2013). Substantive Assumptions in Interaction: A Logical Perspective. Synthese 190 (5):891-908.
    In this paper we study substantive assumptions in social interaction. By substantive assumptions we mean contingent assumptions about what the players know and believe about each other’s choices and information. We first explain why substantive assumptions are fundamental for the analysis of games and, more generally, social interaction. Then we show that they can be compared formally, and that there exist contexts where no substantive assumptions are being made. Finally we show that the questions raised in this paper are related (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Eric Pacuit (2012). Editorial Introduction: Selected Papers From the 2nd Workshop on Logic, Rationality and Interaction (LORI-II). [REVIEW] Journal of Philosophical Logic 41 (4):629-631.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. J. Benthem & E. Pacuit (2011). Dynamic Logics of Evidence-Based Beliefs. Studia Logica 99 (1-3):61-92.
    This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Eric Pacuit & Sunil Simon (2011). Reasoning with Protocols Under Imperfect Information. Review of Symbolic Logic 4 (3):412-444.
    We introduce and study a PDL-style logic for reasoning about protocols, or plans, under imperfect information. Our paper touches on a number of issues surrounding the relationship between an agent’s abilities, available choices, and information in an interactive situation. The main question we address is under what circumstances can the agent commit to a protocol or plan, and what can she achieve by doing so?
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Johan van Benthem & Eric Pacuit (2011). Dynamic Logics of Evidence-Based Beliefs. Studia Logica 99 (1-3):61-92.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Tomohiro Hoshi & Eric Pacuit (2010). Dynamic Logics of Knowledge and Access. Synthese 177 (1):29 - 49.
    A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the available inference steps, possible observations and available messages. This may be because the agents are not logically omniscient and so do not have unlimited reasoning ability. But it can also be because the agents are following a predefined protocol that explicitly limits statements available for observation and/or communication. Within the broad literature (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Eric Pacuit (2010). Logics of Informational Attitudes and Informative Actions. Journal of the Indian Council of Philosophical Research 27 (2):37.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Johan van Benthem & Eric Pacuit (2010). Temporal Logics of Agency. Journal of Logic, Language and Information 19 (4):389-393.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  18. Thomas Ågotnes, Johan van Benthem & Eric Pacuit (2009). Logic and Intelligent Interaction. Synthese 169 (2):219 - 221.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Thomas Ågotnes, Johan van Benthem & Eric Pacuit (2009). Logic and Intelligent Interaction. Synthese 169 (2):219 - 221.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Johan Van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491 - 526.
    A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents' different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491-526.
    A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Ramon Jansana, Mai Gehrke, Alessandra Palmigiano, Mihir K. Chakraborty, Didier Dubois, Eric Pacuit, Rohit Parikh & Prakash Panangaden (2008). Indian Institute of Technology, Kanpur January 14–26, 2008. Bulletin of Symbolic Logic 14 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Benedikt Löwe & Eric Pacuit (2008). An Abstract Approach to Reasoning About Games with Mistaken and Changing Beliefs. Australasian Journal of Logic 6:162-181.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Benedikt Lowe, Jan-Willem Romeijn & Eric Pacuit (eds.) (2008). Proceedings of the Foundations of the Formal Sciences VI: Reasoning About Probabilities and Probabilistic Reasoning. College Publications.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25. Eric Pacuit (2007). Understanding the Brandenburger-Keisler Paradox. Studia Logica 86 (3):435 - 454.
    Adam Brandenburger and H. Jerome Keisler have recently discovered a two person Russell-style paradox. They show that the following configurations of beliefs is impossible: Ann believes that Bob assumes that Ann believes that Bob’s assumption is wrong. In [7] a modal logic interpretation of this paradox is proposed. The idea is to introduce two modal operators intended to represent the agents’ beliefs and assumptions. The goal of this paper is to take this analysis further and study this paradox from the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Horacio Arló-Costa & Eric Pacuit (2006). First-Order Classical Modal Logic. Studia Logica 84 (2):171 - 210.
    The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness results for normal systems without the Barcan Formula (like (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  27. E. J. Pacuit & H. Arlo-Costa (2006). Classical Systems of First-Order Modal Logic. Studia Logica 84 (2):171-210.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Eric Pacuit (2006). Horacio Arló-Costa. Studia Logica 84:171-210.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Eric Pacuit, Rohit Parikh & Eva Cogan (2006). The Logic of Knowledge Based Obligation. 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 (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  30. Horacio Arlo-Costa & Eric Pacuit, First Order Classical Modal Logic.
    This paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation