Switch to: References

Citations of:

Dynamic Epistemic Logic

Internet Encyclopedia of Philosophy (2016)

Add citations

You must login to add citations.
  1. Not a Negation? A Logico-Philosophical Perspective on the Ugaritic Particles lā/ ’al.Cristina Barés Gómez & Matthieu Fontaine - 2022 - Topoi 41 (3):515-526.
    The negative particles lā/ ’al in Ugaritic change from positive to negative in modal contexts, conditional, questions, disjunctions, etc. They have usually been studied from a Semitic and linguistic points of view. On the basis of their occurrence in Ugaritic texts, we pretend to explain their uncommon behaviour from a philosophical and logico-semantic perspective. Is it possible to translate this linguistic structure in our Modern languages? Starting from a general view of their use in Ugaritic language, we claim that this (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Non-strict Interventionism: The Case Of Right-Nested Counterfactuals.Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada & Kaibo Xie - 2022 - Journal of Logic, Language and Information 31 (2):235-260.
    The paper focuses on a recent challenge brought forward against the interventionist approach to the meaning of counterfactual conditionals. According to this objection, interventionism cannot account for the interpretation of right-nested counterfactuals, the problem being its strict interventionism. We will report on the results of an empirical study supporting the objection. Furthermore, we will extend the well-known logic of intervention with a new operator expressing an alternative notion of intervention that does away with strict interventionism. This new notion of intervention (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
    Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Putting Right the Wording and the Proof of the Truth Lemma for APAL.Philippe Balbiani - 2015 - Journal of Applied Non-Classical Logics 25 (1):2-19.
    is an extension of public announcement logic. It is based on a modal operator that expresses what is true after any arbitrary announcement. An incorrect Truth Lemma has been stated and ‘demonstrated’ in Balbiani et al. . In this paper, we put right the wording and the proof of the Truth Lemma for.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Ethics of Nudge.Luc Bovens - 2008 - In Mats J. Hansson & Till Grüne-Yanoff (eds.), Preference Change: Approaches from Philosophy, Economics and Psychology. Berlin: Springer, Theory and Decision Library A. pp. 207-20.
    In their recently published book Nudge (2008) Richard H. Thaler and Cass R. Sunstein (T&S) defend a position labelled as ‘libertarian paternalism’. Their thinking appeals to both the right and the left of the political spectrum, as evidenced by the bedfellows they keep on either side of the Atlantic. In the US, they have advised Barack Obama, while, in the UK, they were welcomed with open arms by the David Cameron's camp (Chakrabortty 2008). I will consider the following questions. What (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  • Generalized Quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
  • Uncertainty, Rationality, and Agency.Wiebe van der Hoek - 2006 - Dordrecht, Netherland: Springer.
    This volume concerns Rational Agents - humans, players in a game, software or institutions - which must decide the proper next action in an atmosphere of partial information and uncertainty. The book collects formal accounts of Uncertainty, Rationality and Agency, and also of their interaction. It will benefit researchers in artificial systems which must gather information, reason about it and then make a rational decision on which action to take.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.
    This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.
    This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.
    The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Preference Change: Approaches From Philosophy, Economics and Psychology.Till Grüne-Yanoff & Sven Ove Hansson - 2009 - Dordrecht, Netherland: Springer.
    Changing preferencesis a phenomenonoften invoked but rarely properlyaccounted for. Throughout the history of the social sciences, researchers have come against the possibility that their subjects’ preferenceswere affected by the phenomenato be explainedor by otherfactorsnot taken into accountin the explanation.Sporadically, attempts have been made to systematically investigate these in uences, but none of these seems to have had a lasting impact. Today we are still not much further with respect to preference change than we were at the middle of the last (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.
    This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call “dynamic epistemology”. It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  • Descriptor Revision: Belief Change Through Direct Choice.Sven Ove Hansson - 2017 - Cham, Switzerland: Springer Verlag.
    This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined. Descriptors are introduced as a versatile tool for expressing the success conditions of belief change, addressing both local and global descriptor revision. The book presents dynamic descriptors such as Ramsey descriptors that convey how an agent’s beliefs tend to be changed (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.
    Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
    We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
    The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions" was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twentyfive years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Dordrecht: Springer. pp. 35–70.
    Modern belief revision theory is based to a large extent on partial meet contraction that was introduced in the seminal article by Carlos Alchourrón, Peter Gärdenfors, and David Makinson that appeared in 1985. In the same year, Alchourrón and Makinson published a significantly different approach to the same problem, called safe contraction. Since then, safe contraction has received much less attention than partial meet contraction. The present paper summarizes the current state of knowledge on safe contraction, provides some new results (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Bayesianism for Non-ideal Agents.Mattias Skipper & Jens Christian Bjerring - 2022 - Erkenntnis 87 (1):93-115.
    Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  • Independent alternatives: Ross’s puzzle and free choice.Richard Jefferson Booth - 2021 - Philosophical Studies 179 (4):1241-1273.
    Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Contextology.Simon Goldstein & Cameron Domenico Kirk-Giannini - forthcoming - Philosophical Studies:1-31.
    'Contextology' is the science of the dynamics of the conversational context. Contextology formulates laws governing how the shared information states of interlocutors evolve in response to assertion. More precisely, the contextologist attempts to construct a function which, when provided with just a conversation’s pre-update context and the content of an assertion, delivers that conversation’s post-update context. Most contextologists have assumed that the function governing the evolution of the context is simple: the post-update context is just the pre-update context intersected with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • You Better Play 7: Mutual Versus Common Knowledge of Advice in a Weak-Link Experiment.Giovanna Devetag, Hykel Hosni & Giacomo Sillari - 2013 - Synthese 190 (8):1351-1381.
    This paper presents the results of an experiment on mutual versus common knowledge of advice in a two-player weak-link game with random matching. Our experimental subjects play in pairs for thirteen rounds. After a brief learning phase common to all treatments, we vary the knowledge levels associated with external advice given in the form of a suggestion to pick the strategy supporting the payoff-dominant equilibrium. Our results are somewhat surprising and can be summarized as follows: in all our treatments both (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Tracking Probabilistic Truths: A Logic for Statistical Learning.Alexandru Baltag, Soroush Rafiee Rad & Sonja Smets - 2021 - Synthese 199 (3-4):9041-9087.
    We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating to each possible distribution a plausibility ranking. Beliefs are defined as in Belief Revision Theory, in terms of truth in the most plausible worlds. We consider two forms of conditioning or belief update, corresponding to the acquisition of two types of information: learning observable evidence obtained by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On a Logico-Algebraic Approach to AGM Belief Contraction Theory.D. Fazio & M. Pra Baldi - 2021 - Journal of Philosophical Logic 50 (5):911-938.
    In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary finitary propositional logics, and we show how to switch from a syntactic-based approach to a semantic one. This allows to build a solid bridge between the validity of AGM postulates in a propositional logic and specific algebraic properties of its intended algebraic counterpart. Such a connection deserves particular attention when we deal with maxichoice contractions, as studied (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Dynamic Epistemic Logic of Belief Change in Legal Judgments.Pimolluck Jirakunkanok, Katsuhiko Sano & Satoshi Tojo - 2018 - Artificial Intelligence and Law 26 (3):201-249.
    This study realizes belief/reliability change of a judge in a legal judgment by dynamic epistemic logic. A key feature of DEL is that possibilities in an agent’s belief can be represented by a Kripke model. This study addresses two difficulties in applying DEL to a legal case. First, since there are several methods for constructing a Kripke model, our question is how we can construct the model from a legal case. Second, since this study employs several dynamic operators, our question (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Anti-Exceptionalism About Logic.Ole Thomassen Hjortland - 2017 - Philosophical Studies 174 (3):631-658.
    Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   81 citations  
  • Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.
    We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable languages has good closure (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Merging Frameworks for Interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - 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)  
     
    Export citation  
     
    Bookmark   62 citations  
  • Contemporary Epistemic Logic and the Lockean Thesis.Lorenz6 Demey - 2013 - Foundations of Science 18 (4):599-610.
    This paper studies the Lockean thesis from the perspective of contemporary epistemic logic. The Lockean thesis states that belief can be defined as ‘sufficiently high degree of belief’. Its main problem is that it gives rise to a notion of belief which is not closed under conjunction. This problem is typical for classical epistemic logic: it is single-agent and static. I argue that from the perspective of contemporary epistemic logic, the Lockean thesis fares much better. I briefly mention that it (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Agreement Theorems in Dynamic-Epistemic Logic.Cédric Dégremont & Oliver Roy - 2012 - Journal of Philosophical Logic 41 (4):735-764.
    This paper introduces Agreement Theorems to dynamic-epistemic logic. We show first that common belief of posteriors is sufficient for agreement in epistemic-plausibility models, under common and well-founded priors. We do not restrict ourselves to the finite case, showing that in countable structures the results hold if and only if the underlying plausibility ordering is well-founded. We then show that neither well-foundedness nor common priors are expressible in the language commonly used to describe and reason about epistemic-plausibility models. The static agreement (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Multi-Agent Justification Logic: Communication and Evidence Elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.
    This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning about multi-agent communication and evidence elimination for groups of interacting rational agents.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Scalar Implicatures and Iterated Admissibility.Sascia Pavan - 2013 - Linguistics and Philosophy 36 (4):261-290.
    Paul Grice has given an account of conversational implicatures that hinges on the hypothesis that communication is a cooperative activity performed by rational agents which pursue a common goal. The attempt to derive Grice’s principles from game theory is a natural step, since its aim is to predict the behaviour of rational agents in situations where the outcome of one agent’s choice depends also on the choices of others. Generalised conversational implicatures, and in particular scalar ones, offer an ideal test (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Many Faces of Closure and Introspection: An Interactive Perspective.Patrick Allo - 2013 - Journal of Philosophical Logic 42 (1):91-124.
    In this paper I present a more refined analysis of the principles of deductive closure and positive introspection. This analysis uses the expressive resources of logics for different types of group knowledge, and discriminates between aspects of closure and computation that are often conflated. The resulting model also yields a more fine-grained distinction between implicit and explicit knowledge, and places Hintikka’s original argument for positive introspection in a new perspective.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logic and AI in China: An Introduction. [REVIEW]Fenrong Liu & Kaile Su - 2013 - Minds and Machines 23 (1):1-4.
  • A Logic for Factive Ignorance.Ekaterina Kubyshkina & Mattia Petrolo - forthcoming - Synthese 198 (6):5917-5928.
    In the current debate there are two epistemological approaches to the definition of ignorance: the Standard View and the New View. The former defines ignorance simply as not knowing, while the latter defines it as the absence of true belief. One of the main differences between these two positions lies in rejecting (Standard View) or in accepting (New View) the factivity of ignorance, i.e., if an agent is ignorant of φ, then φ is true. In the present article, we first (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Taming the Runabout Imagination Ticket.Francesco Berto - 2018 - Synthese (Suppl 8):2029-2043.
    This research is published within the project ‘The Logic of Conceivability’, funded by the European Research Council, Grant Number 681404.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Mistakes as Revealing and as Manifestations of Competence.Felipe Morales Carbonell - 2019 - Synthese 198 (4):3289-3308.
    The final chapter of Elgin’s defends the claim that some mistakes mark significant epistemic achievements. Here, I extend Elgin’s analysis of the informativeness of mistakes for epistemic policing. I also examine the type of theory of competence that Elgin’s view requires, and suggest some directions in which this can be taken.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Predicate Change: A Study on the Conservativity of Conceptual Change.Corina Strößner - 2020 - Journal of Philosophical Logic 49 (6):1159-1183.
    Like belief revision, conceptual change has rational aspects. The paper discusses this for predicate change. We determine the meaning of predicates by a set of imaginable instances, i.e., conceptually consistent entities that fall under the predicate. Predicate change is then an alteration of which possible entities are instances of a concept. The recent exclusion of Pluto from the category of planets is an example of such a predicate change. In order to discuss predicate change, we define a monadic predicate logic (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.
    Information exchange can be viewed as a process of asking questions and answering them. While dynamic epistemic logic traditionally focuses on statements, recent developments have been concerned with ways of incorporating questions. One approach, based on the framework of inquisitive semantics, is inquisitive dynamic epistemic logic ). In this system, agents are represented with issues as well as information. On the dynamic level, it can model actions that raise new issues. Compared to other approaches, a limitation of \ is that (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  • The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
    We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • Minimal Rationality and the Web of Questions.Daniel Hoek - forthcoming - In Dirk Kindermann, Peter van Elswyk & Andy Egan (eds.), Unstructured Content. Oxford University Press.
    This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally rational (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Approaching the Truth Via Belief Change in Propositional Languages.Gustavo Cevolani & Francesco Calandra - 2010 - In M. Suàrez, M. Dorato & M. Rèdei (eds.), EPSA Epistemology and Methodology of Science: Launch of the European Philosophy of Science Association. Springer. pp. 47--62.
    Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 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. (...)
     
    Export citation  
     
    Bookmark  
  • Inference and Update.Fernando Raymundo Velázquez-Quesada - 2009 - Synthese 169 (2):283-300.
    We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Doxastic Logic.Michael Caie - 2019 - In Jonathan Weisberg & Richard Pettigrew (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 499-541.
  • Is Unsaying Polite?Berislav Žarnić - 2012 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Springer. pp. 201--224.
    This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Description Logics for Relative Terminologies.Szymon Klarman - 2010 - In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin. pp. 124--141.
  • A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.
    This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Reasoning About Permitted Announcements.P. Balbiani & P. Seban - 2011 - Journal of Philosophical Logic 40 (4):445-472.
    We formalize what it means to have permission to say something. We adapt the dynamic logic of permission by van der Meyden (J Log Comput 6(3):465–479, 1996 ) to the case where atomic actions are public truthful announcements. We also add a notion of obligation. Our logic is an extension of the logic of public announcements introduced by Plaza ( 1989 ) with dynamic modal operators for permission and for obligation. We axiomatize the logic and show that it is decidable.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations