Switch to: References

Citations of:

Logical Dynamics of Information and Interaction

Cambridge University Press (2011)

Add citations

You must login to add citations.
  1. Hard and Soft Logical Information.Allo Patrick - 2017 - Journal of Logic and Computation:1-20.
    In this paper I use the distinction between hard and soft information from the dynamic epistemic logic tradition to extend prior work on informational conceptions of logic to include non-monotonic consequence-relations. In particular, I defend the claim that at least some non-monotonic logics can be understood on the basis of soft or “belief-like” logical information, and thereby question the orthodox view that all logical information is hard, “knowledge-like”, information.
    Download  
     
    Export citation  
     
    Bookmark  
  • Some Remarks on the Model Theory of Epistemic Plausibility Models.Lorenz6 Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.
    The aim of this paper is to initiate a systematic exploration of the model theory of epistemic plausibility models (EPMs). There are two subtly different definitions in the literature: one by van Benthem and one by Baltag and Smets. Because van Benthem's notion is the most general, most of the paper is dedicated to this notion. We focus on the notion of bisimulation, and show that the most natural generalization of bisimulation to van Benthem-type EPMs fails. We then introduce parametrized (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Impossible Worlds.Franz Berto & Mark Jago - 2013 - Oxford: Oxford University Press.
    We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Logic Informed.Justin Bledin - 2014 - Mind 123 (490):277-316.
    Do logically valid arguments necessarily preserve truth? Certain inferences involving informational modal operators and indicative conditionals suggest that truth preservation and good deductive argument come apart. Given this split, I recommend an alternative to the standard truth preservation view of logic on which validity and good deductive argument coincide: logic is a descriptive science that is fundamentally concerned not with the preservation of truth, but with the preservation of structural features of information. Along the way, I defend modus ponens for (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Content of Deduction.Mark Jago - 2013 - Journal of Philosophical Logic 42 (2):317-334.
    For deductive reasoning to be justified, it must be guaranteed to preserve truth from premises to conclusion; and for it to be useful to us, it must be capable of informing us of something. How can we capture this notion of information content, whilst respecting the fact that the content of the premises, if true, already secures the truth of the conclusion? This is the problem I address here. I begin by considering and rejecting several accounts of informational content. I (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Relating Logics of Justification and Evidence.Igor Sedlár - 2014 - In Vít Punčochář & Michal Dančák (eds.), The Logica Yearbook 2013. College Publications. pp. 207-222.
    The paper relates evidence and justification logics, both philosophically and technically. On the philosophical side, it is suggested that the difference between the approaches to evidence in the two families of logics can be explained as a result of their focusing on two different notions of support provided by evidence. On the technical side, a justification logic with operators pertaining to both kinds of support is shown to be sound and complete with respect to a special class of awareness models. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Verisimilitudinarian Analysis of the Linda Paradox.Gustavo Cevolani, Vincenzo Crupi & Roberto Festa - 2012 - VII Conference of the Spanish Society for Logic, Methodology and Philosphy of Science.
    The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.
    Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Information Dynamics and Uniform Substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.
    The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures of uniform substitution. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Inquisitive Dynamic Epistemic Logic.Ivano A. Ciardelli & Floris Roelofsen - 2015 - Synthese 192 (6):1643-1687.
    Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic , which enriches the standard framework of dynamic epistemic logic , incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Deontic Logic and Normative Systems.Olivier Roy, Allard Tamminga & Malte Willer (eds.) - 2016 - London, UK: College Publications.
    The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2016 encouraged a special focus on the topic "Reasons, Argumentation and Justification.".
    Download  
     
    Export citation  
     
    Bookmark  
  • The Logic of Empirical Theories Revisited.Johan van Benthem - 2012 - Synthese 186 (3):775-792.
    Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Can Quantum Probability Provide a New Direction for Cognitive Modeling?Emmanuel M. Pothos & Jerome R. Busemeyer - 2013 - Behavioral and Brain Sciences 36 (3):255-274.
    Classical (Bayesian) probability (CP) theory has led to an influential research tradition for modeling cognitive processes. Cognitive scientists have been trained to work with CP principles for so long that it is hard even to imagine alternative ways to formalize probabilities. However, in physics, quantum probability (QP) theory has been the dominant probabilistic approach for nearly 100 years. Could QP theory provide us with any advantages in cognitive modeling as well? Note first that both CP and QP theory share the (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Toward a Theory of Play: A Logical Perspective on Games and Interaction.Johan van Benthem & Eric Pacuit - unknown
    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.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Logical Root of Linguistic Commitment.Berislav Žarnić - 2013 - In Anna Brożek Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2).
    Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics used in describing psychological and social realities. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Beliefs and Evidence in Justification Models.Alexandru Baltag, Virginie Fiutek & Sonja Smets - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 156-176.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic.Ivano Ciardelli - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 94-113.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • La expresión de lo cognoscible y los mundos posibles.Paulo Velez Leon - 2016 - In Jonas Rafael Becker Arenhart, Jaimir Conte & Cezar Augusto Mortari (eds.), Temas em filosofia contemporânea II. Florianópolis/SC, Brasil: Universidade Federal de Santa Catarina. pp. 64-74.
    La noción de mundos posibles, sostiene que nuestro mundo es un mundo entre otros, un subconjunto de todas las cosas que existen. Esto implica aceptar que existen mundos estructuralmente equivalentes con sus propios lenguajes [formales], que entre sí no tienen ningún estatuto privilegiado, p.e., el mundo y lenguaje del arte o el mundo y lenguaje de la física; no obstante, la idea de aceptar otros mundos equivalentes como mundos posibles epistémica y ontológicamente legítimos para acceder y expresar lo cognoscible del (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Reasoning and Deducing.Markos Valaris - 2019 - Mind 128 (511):861-885.
    What exactly is reasoning? While debate on this question is ongoing, most philosophers seem to agree on at least the following: reasoning is a mental process operating on contents, which consists in adopting or revising some of your attitudes in light of others. In this paper, I argue that this characterisation is mistaken: there is no single mental phenomenon that satisfies both of these conditions. Instead, I characterise two distinct mental phenomena, which I call ‘deducing’, on the one hand, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Ecidence Logic: A New Look at Neighborhood Structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Justin Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 97-118.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Quantum Logic as a Dynamic Logic.Alexandru Baltag & Sonja Smets - 2011 - Synthese 179 (2):285 - 306.
    We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no". Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth's proposal of applying Tarski's semantical methods to the analysis of physical theories, with (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Roles, Rigidity, and Quantification in Epistemic Logic.Wesley H. Holliday & John Perry - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer. pp. 591-629.
    Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in Melvin (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Dynamic Normative Logic and Information Update.Yasuo Nakayama - unknown
    SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 3 : Logic, Norms, and Preferences.
    Download  
     
    Export citation  
     
    Bookmark  
  • Conditionally Knowing What.Yanjing Wang & Jie Fan - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 569-587.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Dynamic Logic of Stating and Asking.Ivano Ciardelli - unknown
    Inquisitive dynamic epistemic logic extends standard public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Temporal Logics of Agency.Johan van Benthem & Eric Pacuit - 2010 - Journal of Logic, Language and Information 19 (4):389-393.
    Download  
     
    Export citation  
     
    Bookmark  
  • Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.Wesley Holliday - 2018 - In Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Springer Verlag.
    Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In this paper, we explore a variation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
    Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Ancestor Worship in The Logic of Games. How Foundational Were Aristotle's Contributions?John Woods - 2013 - The Baltic International Yearbook of Cognition, Logic and Communication 8 (1).
    Notwithstanding their technical virtuosity and growing presence in mainstream thinking, game theoretic logics have attracted a sceptical question: "Granted that logic can be done game theoretically, but what would justify the idea that this is the preferred way to do it?'' A recent suggestion is that at least part of the desired support might be found in the Greek dialectical writings. If so, perhaps we could say that those works possess a kind of foundational significance. The relation of being foundational (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Indicative Conditionals and Dynamic Epistemic Logic.Wesley H. Holliday & Thomas Icard - 2017 - Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017.
    Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the Use (and Abuse) of Logic in Game Theory.Eric Pacuit - 2015 - Journal of Philosophical Logic 44 (6):741-753.
    IntroductionA quick glance at the opening paragraphs in many of the classic logic textbooks reveals a common view: Logical methods highlight the reasoning patterns of a single agent engaged in some form of mathematical thinking.A sampling from my bookshelf: Shoenfield’s Mathematical Logic: “Logic is the study of reasoning; and mathematical logic is the study of the type of reasoning done by mathematicians”; Enderton’s A Mathematical Introduction of Logic: “Symbolic logic is a mathematical model of deductive thought”; and Chiswell and Hodges (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Prelude to a Socio-Logic of Imperatives.Berislav Žarnić - 2011 - European Journal of Analytic Philosophy 7 (2):6-16.
    This short essay attempts to challenge some of widely held philosophical assumptions on the nature of the relationship between logic, language and reality. In Section 1 the hegemony of theoretical logic is being questioned; Section 2 proposes a hypothesis on socially mediated semantics; Section 3 addresses the problem of ontology of logical sentential moods.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
    We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Beliefs Supported by Binary Arguments.Chenwei Shi, Sonja Smets & Fernando R. Velázquez-Quesada - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):165-188.
    In this paper, we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Our main contribution is the design of a logical setting that allows us reason about binary arguments which are either in favour or against a certain claim. This is a setting in which arguments and propositions are the basic building blocks so that the concept of argument-based belief emerges in a straightforward way. We work against the background of Dung’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Logic for Extensional Protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.
    We study a logic for reasoning about agents that pass messages according to a protocol. Protocols are specified extensionally, as sets of sequences of ?legal? actions assigned to each state in a Kripke model. Message-passing events that are licensed by the protocol are modeled as updates in the style of dynamic epistemic logic. We also consider changes to the protocol by introducing message-encoding modalities, corresponding to communications actions that lead to protocol extensions. While in our general framework, messages are arbitrary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Substructural Epistemic Logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
    The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics with distributive substructural logics. Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point set. The main technical result is a general completeness theorem. Axiomatisations are provided by means of two-sorted Hilbert-style calculi. It is also shown that the framework presents a natural solution to the problem of logical omniscience.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Dynamics of Awareness.Fernando R. Velázquez-Quesada & Johan van Benthem - 2010 - Synthese 177 (S1):5 - 27.
    Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference— and key axioms of the system merely postulate "deductive closure". In this paper, we take the view that all information is produced by acts, and hence (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Epistemic Closure and Commutative, Nonassociative Residuated Structures.Sebastian Sequoiah-Grayson - 2013 - Synthese 190 (1):113-128.
    K-axiom-based epistemic closure for explicit knowledge is rejected for even the most trivial cases of deductive inferential reasoning on account of the fact that the closure axiom does not extend beyond a raw consequence relation. The recognition that deductive inference concerns interaction as much as it concerns consequence allows for perspectives from logics of multi-agent information flow to be refocused onto mono-agent deductive reasoning. Instead of modeling the information flow between different agents in a communicative or announcement setting, we model (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Abstract Argument Games Via Modal Logic.Davide Grossi - 2013 - Synthese 190 (S1).
    Inspired by some logical considerations, the paper proposes a novel perspective on the use of two-players zero-sum games in abstract argumentation. The paper first introduces a second-order modal logic, within which all main Dung-style semantics are shown to be formalizable, and then studies the model checking game of this logic. The model checking game is then used to provide a systematic game theoretic proof procedure to test membership with respect to all those semantics formalizable in the logic. The paper discusses (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Dynamics of Belief Change in the Community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.
    In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Generation and Selection of Abductive Explanations for Non-Omniscient Agents.Fernando Soler-Toscano & Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):141-168.
    Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking for explanations, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective. In the first part we explore syntactic definitions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Keep Changing Your Beliefs, Aiming for the Truth.Alexandru Baltag & Sonja Smets - 2011 - Erkenntnis 75 (2):255-270.
    We investigate the process of truth-seeking by iterated belief revision with higher-level doxastic information . We elaborate further on the main results in Baltag and Smets (Proceedings of TARK, 2009a , Proceedings of WOLLIC’09 LNAI 5514, 2009b ), applying them to the issue of convergence to truth . We study the conditions under which the belief revision induced by a series of truthful iterated upgrades eventually stabilizes on true beliefs. We give two different conditions ensuring that beliefs converge to “full” (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Giro dinámico y lógica de la investigación científica.María Victoria Murillo-Corchado & Ángel Nepomuceno-Fernández - 2019 - Revista de Humanidades de Valparaíso 13:68-89.
    Para presentar la incidencia del giro dinámico en la lógica de la investigación científica, en este artículo comenzamos con una sección que trata de los juegos lógicos como desencadenantes de este giro dinámico en la lógica contemporánea, junto con el programa de dinámica lógica de la información y la interacción. Sucintamente presentamos las principales características de la lógica favorable a la independencia y la semántica juego-teórica, de la lógica dialógica, así como los elementos esenciales de dicho programa. Si bien a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Is That a Threat?Henry Ian Schiller - forthcoming - Erkenntnis:1-23.
    I introduce game-theoretic models for threats to the discussion of threats in speech act theory. I first distinguish three categories of verbal threats: conditional threats, categorical threats, and covert threats. I establish that all categories of threats can be characterized in terms of an underlying conditional structure. I argue that the aim – or illocutionary point – of a threat is to change the conditions under which an agent makes decisions in a game. Threats are moves in a game that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • To Know is to Know the Value of Variable.Alexandru Baltag - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 135-155.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.
    The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at the core of a new understanding of both formal epistemology and the logical foundations of quantum mechanics. Both areas appear at first sight to be based on purely static propositional formalisms, but in our view their fundamental operators are essentially dynamic in nature. Quantum logic can be best understood as the logic of physically-constrained informational interactions between subsystems of a global physical system. Similarly, epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark