Defaults in update semantics
From MaRDI portal
Publication:1918912
DOI10.1007/BF00248150zbMath0860.03025OpenAlexW2121243963MaRDI QIDQ1918912
Publication date: 21 April 1997
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00248150
dynamic logicdefault reasoningupdate semanticsdynamic entailmentsemantic theory of persistent default rules
Related Items (91)
Conditionals and propositions in semantics ⋮ An update on epistemic modals ⋮ The dynamics of argumentative discourse ⋮ Predicate change. A study on the conservativity of conceptual change ⋮ On modal logics of model-theoretic relations ⋮ A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY ⋮ The philosophy of Bayes factors and the quantification of statistical evidence ⋮ Reasoning about update logic ⋮ Logics of Rational Interaction ⋮ Presupposition failure - a comedy of errors ⋮ Making the right exceptions ⋮ Is Unsaying Polite? ⋮ Modal logic via global consequence ⋮ Assertion, rejection, and semantic universals ⋮ COMPLIANCE AND COMMAND I—CATEGORICAL IMPERATIVES ⋮ EPISTEMIC MULTILATERAL LOGIC ⋮ Contrary-to-duty obligations ⋮ The surprise examination in dynamic epistemic logic ⋮ A counterexample to modus tollens ⋮ Automata for epistemic temporal logic with synchronous communication ⋮ Identity and harmony and modality ⋮ Modified numerals and split disjunction: the first-order case ⋮ Neglect-zero effects in dynamic semantics ⋮ Disjunction in a predictive theory of anaphora ⋮ An epistemic separation logic with action models ⋮ Intuitionistic conditional logics ⋮ New surprises for the Ramsey test ⋮ Raising awareness without disclosing truth ⋮ An epistemic modal norm of practical reasoning ⋮ AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS ⋮ Modus ponens and the logic of decision ⋮ Context Update for Lambdas and Vectors ⋮ On Groenendijk and Stokhof’s “Dynamic Predicate Logic” ⋮ A logical theory for conditional weak ontic necessity based on context update ⋮ An Acceptance Semantics for Stable Modal Knowledge ⋮ Triviality For Restrictor Conditionals ⋮ Relational semantics and domain semantics for epistemic modals ⋮ Validity under assumptions and modus ponens ⋮ Choice points for a modal theory of disjunction ⋮ Informational dynamics of epistemic possibility modals ⋮ Language in action ⋮ Logic and semantics for imperatives ⋮ Evidence sensitivity in weak necessity deontic modals ⋮ A uniform theory of conditionals ⋮ Knowledge updates: Semantics and complexity issues ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Comments to `Logics of public communications' ⋮ BELIEVING EPISTEMIC CONTRADICTIONS ⋮ Free choice impossibility results ⋮ Narrow-scoping for wide-scopers ⋮ What difference \textit{might} and \textit{may} make ⋮ Simplifying with free choice ⋮ A formal model of multi-agent belief-interaction ⋮ Implicit and explicit stances in logic ⋮ Keep changing your beliefs, aiming for the truth ⋮ Natural language and logic of agency ⋮ Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM ⋮ The dynamics of information exchange dialogues ⋮ Action type deontic logic ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ A formal model of multi-agent belief-interaction ⋮ What might be the case after a change in view ⋮ Von Wright's ``The logic of preference revisited ⋮ Fatalism and the logic of unconditionals ⋮ This paper might change your mind ⋮ Uncertainty and persistence: a Bayesian update semantics for probabilistic expressions ⋮ A Dynamic Semantics of Modal Subordination ⋮ Artificial intelligence and language ⋮ The orthologic of epistemic modals ⋮ Modal knowledge for expressivists ⋮ Dependency as Question Entailment ⋮ Epistemic Informativeness ⋮ Channel Theoretic Reflections on Dynamic Logics of Speech Acts ⋮ Truth and context change ⋮ MODALITY AND EXPRESSIBILITY ⋮ Expectation biases and context management with negative polar questions ⋮ Might-beliefs and asymmetric disagreement ⋮ A system of dynamic modal logic ⋮ Dynamic bracketing and discourse representation ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Logical dynamics of some speech acts that affect obligations and preferences ⋮ Update Semantics for Imperatives with Priorities ⋮ Remedial interchange, contrary-to-duty obligation and commutation ⋮ Dynamic logic for belief revision ⋮ Dynamic logic of preference upgrade ⋮ Indicative conditionals and graded information ⋮ Sly Pete in dynamic semantics ⋮ Is default logic a reinvention of inductive-statistical reasoning? ⋮ Do Indicative Conditionals Express Propositions? ⋮ The epistemic account of ceteris paribus conditions ⋮ Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
This page was built for publication: Defaults in update semantics
