Logical Dynamics of Information and Interaction

DOI10.1017/CBO9780511974533zbMath1251.03003OpenAlexW300190828MaRDI QIDQ3114222

Publication date: 2 February 2012

Full work available at URL: https://doi.org/10.1017/cbo9780511974533

belief revision epistemic logic cognitive science philosophy awareness logic and games doxastic logic attitudes questions knowledge update interfacing between logic and other sciences logical treatment of agency rationality of agents socio-logical dynamics strategic action

Mathematics Subject Classification ID

Game theory (91A99) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other applications of logic (03B80) Agent technology and artificial intelligence (68T42) Logic in the philosophy of science (03A10)

Related Items (only showing first 100 items - show all)

To be announced ⋮ METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS ⋮ An Abstract Look at Awareness Models and Their Dynamics ⋮ Raising awareness without disclosing truth ⋮ Dynamic modal logic with counting: when reduction axioms work and fail ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Tracking probabilistic truths: a logic for statistical learning ⋮ Unification of Modal Logic via Topological Categories ⋮ From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract) ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ The effort of reasoning: modelling the inference steps of boundedly rational agents ⋮ A dynamic logic for learning theory ⋮ Finite-Chain Graded Modal Logic ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Logic and Learning ⋮ A Computational Learning Semantics for Inductive Empirical Knowledge ⋮ Logic and Probabilistic Update ⋮ Logic and Complexity in Cognitive Science ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Logics of informational interactions ⋮ On the use (and abuse) of logic in game theory ⋮ Predicate change. A study on the conservativity of conceptual change ⋮ On modal logics of model-theoretic relations ⋮ Logics for belief as maximally plausible possibility ⋮ Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Some remarks on the model theory of epistemic plausibility models ⋮ A logic for extensional protocols ⋮ The content of deduction ⋮ Frame Theory, Dependence Logic and Strategies ⋮ Justifications, Awareness and Epistemic Dynamics ⋮ Computation as social agency: what, how and who ⋮ Sabotage Modal Logic: Some Model and Proof Theoretic Aspects ⋮ A Note on Reliability-Based Preference Dynamics ⋮ Informational Dynamics of ‘Might’ Assertions ⋮ On inverse operators in dynamic epistemic logic ⋮ THE MODAL LOGIC OF STEPWISE REMOVAL ⋮ Non-strict interventionism: the case of right-nested counterfactuals ⋮ Private announcements on topological spaces ⋮ Reasoning about knowledge and messages in asynchronous multi-agent systems ⋮ Efficient Program Transformers for Translating LCC to PDL ⋮ The logic of empirical theories revisited ⋮ Resolving distributed knowledge ⋮ A closeness- and priority-based logical study of social network creation ⋮ Evidence and plausibility in neighborhood structures ⋮ Substructural epistemic logics ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ Categories for Dynamic Epistemic Logic ⋮ Unnamed Item ⋮ Constructive agents ⋮ A topological approach to full belief ⋮ Bimodal logics with contingency and accident ⋮ A logical study of group-size based social network creation ⋮ The fundamental problem of logical omniscience ⋮ The dynamics of awareness ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ Łukasiewicz Public Announcement Logic ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Parameterized complexity of theory of mind reasoning in dynamic epistemic logic ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Dynamic logics of evidence-based beliefs ⋮ An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution ⋮ Informational dynamics of epistemic possibility modals ⋮ Abstract argument games via modal logic ⋮ Information dynamics and uniform substitution ⋮ On axiomatizations of public announcement logic ⋮ Exploring the tractability border in epistemic tasks ⋮ Agreeing to disagree in probabilistic dynamic epistemic~logic ⋮ Group Knowledge in Interrogative Epistemology ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Epistemic Logic with Evidence and Relevant Alternatives ⋮ Talking About Knowledge ⋮ The Heterogeneity of Mathematical Research ⋮ A Dynamic Logic of Interrogative Inquiry ⋮ Tracking Information ⋮ Logics of imprecise comparative probability ⋮ Deduction and reduction theorems for inferential erotetic logic ⋮ A simple logic of functional dependence ⋮ Syntactic awareness in logical dynamics ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ Inquisitive dynamic epistemic logic ⋮ Structures of Oppositions in Public Announcement Logic ⋮ Toward a dynamic logic of questions ⋮ Implicit and explicit stances in logic ⋮ Dynamic epistemic logics of diffusion and prediction in social networks ⋮ Natural language and logic of agency ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Generation and selection of abductive explanations for non-omniscient agents ⋮ Logical geometries and information in the square of oppositions ⋮ Quantum logic as a dynamic logic ⋮ A dynamic-epistemic hybrid logic for intentions and information changes in strategic games ⋮ Truth-tracking by belief revision ⋮ Introspection as an action in relational models

This page was built for publication: Logical Dynamics of Information and Interaction