scientific article

Publication date: 3 March 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

logical foundations dynamic theories of logic

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99) Other applications of logic (03B80)

Related Items (73)

On the use (and abuse) of logic in game theory ⋮ An update on epistemic modals ⋮ The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated ⋮ The information in intuitionistic logic ⋮ Interpolation and preservation for pebble logics ⋮ Interpolation, preservation, and pebble games ⋮ Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Logical theories of intention and the database perspective ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Computation as social agency: what, how and who ⋮ Is Unsaying Polite? ⋮ Connectives stranger than tonk ⋮ Logical connectives for constructive modal logic ⋮ Complete axiomatizations for quantum actions ⋮ Beliefs, obligations, intentions, and desires as components in an agent architecture ⋮ The dynamic turn in quantum logic ⋮ Modelling phenomena and dynamic logic of phenomena ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ Correlated knowledge: an epistemic-logic view on quantum entanglement ⋮ Causal dynamic inference ⋮ A Categorical Aspect of the Analogy Between Quantifiers and Modalities ⋮ Dynamic logics of knowledge and access ⋮ What is the logic of inference? ⋮ On Groenendijk and Stokhof’s “Dynamic Predicate Logic” ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ On logics with two variables ⋮ Relation algebras can tile ⋮ Continuous Fragment of the mu-Calculus ⋮ Logic and reasoning: do the facts matter? ⋮ Evidence sensitivity in weak necessity deontic modals ⋮ Agreeing to disagree in probabilistic dynamic epistemic~logic ⋮ Transition semantics: the dynamics of dependence logic ⋮ Talking About Knowledge ⋮ A dynamic-logical perspective on quantum behavior ⋮ Tracking Information ⋮ Type logics and pregroups ⋮ A simple logic of functional dependence ⋮ Free choice impossibility results ⋮ Minimal predicates, fixed-points, and definability ⋮ DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT ⋮ Hybrid logics: characterization, interpolation and complexity ⋮ Decidable fragments of first-order modal logics ⋮ Sequential dynamic logic ⋮ Natural language and logic of agency ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth ⋮ Quantum logic as a dynamic logic ⋮ McCarthy variations in a modal key ⋮ Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) ⋮ Complete axiomatizations for XPath fragments ⋮ Wittgensteinian predicate logic ⋮ What might be the case after a change in view ⋮ Von Wright's ``The logic of preference revisited ⋮ On the Restraining Power of Guards ⋮ Modal Fixed-Point Logic and Changing Models ⋮ Diversity of agents and their interaction ⋮ Knowledge and Local Actions ⋮ Might-beliefs and asymmetric disagreement ⋮ Modal languages and bounded fragments of predicate logic ⋮ Modal correspondence for models ⋮ Mathematics of Public Announcements ⋮ Modal logic and invariance ⋮ Unnamed Item ⋮ On Revocable and Irrevocable Belief Revision ⋮ Swinging types=functions+relations+transition systems ⋮ Modality, bisimulation and interpolation in infinitary logic ⋮ Guards, bounds, and generalized semantics ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Logic and Game Theory ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Prolegomena to dynamic logic for belief revision

This page was built for publication: