Logical dynamics of information and interaction
From MaRDI portal
attitudesawarenessbelief revisioncognitive sciencedoxastic logicepistemic logicinterfacing between logic and other sciencesknowledge updatelogic and gameslogical treatment of agencyphilosophyquestionsrationality of agentssocio-logical dynamicsstrategic action
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Game theory (91A99)
Recommendations
Cited in
(only showing first 100 items - show all)- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction
- Computation as social agency: what, how and who
- Private announcements on topological spaces
- Resolving distributed knowledge
- Constructive agents
- Modeling correlated information change: from conditional beliefs to quantum conditionals
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
- Deduction and reduction theorems for inferential erotetic logic
- Implicit and explicit stances in logic
- Dynamic epistemic logics of diffusion and prediction in social networks
- Truth-tracking by belief revision
- Introspection as an action in relational models
- Meaning in dialogue. An interactive approach to logic and reasoning
- Modeling reasoning in a social setting
- Changing types: information dynamics for qualitative type spaces
- A logic for diffusion in social networks
- Simple hyperintensional belief revision
- Dynamic logic of legal competences
- Reasoning about general preference relations
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
- On inverse operators in dynamic epistemic logic
- Non-strict interventionism: the case of right-nested counterfactuals
- A closeness- and priority-based logical study of social network creation
- The fundamental problem of logical omniscience
- Dynamic term-modal logics for first-order epistemic planning
- Informational dynamics of epistemic possibility modals
- Logics of imprecise comparative probability
- A simple logic of functional dependence
- 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
- Intensional protocols for dynamic epistemic logic
- Toward a theory of play: a logical perspective on games and interaction
- The content of deduction
- A topological approach to full belief
- Bimodal logics with contingency and accident
- A logical study of group-size based social network creation
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
- Logical dynamics of belief change in the community
- Logics of informational interactions
- On the use (and abuse) of logic in game theory
- Reasoning about justified belief based on the fusion of evidence
- Logics of informational attitudes and informative actions
- Epistemology, knowledge and the impact of interaction
- Some remarks on the model theory of epistemic plausibility models
- A logic for extensional protocols
- Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
- Agency and Interaction What We Are and What We Do in Formal Epistemology
- Logical dynamics of evidence
- A dynamic analysis of interactive rationality
- Reasoning with protocols under imperfect information
- scientific article; zbMATH DE number 986406 (Why is no real title available?)
- 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
- Indicative conditionals and dynamic epistemic logic
- Categories for dynamic epistemic logic
- Frame theory, dependence logic and strategies
- Justifications, Awareness and Epistemic Dynamics
- Sabotage modal logic: some model and proof theoretic aspects
- A Note on Reliability-Based Preference Dynamics
- Informational dynamics of ``might assertions
- A meeting of the minds: Proceedings of the workshop on logic, rationality and interaction, Beijing, 2007
- Decisions, Actions, and Games: A Logical Perspective
- Logical dynamics meets logical pluralism?
- The logic of empirical theories revisited
- Evidence and plausibility in neighborhood structures
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Reasoning about knowledge and messages in asynchronous multi-agent systems
- Substructural epistemic logics
- Logic, rational agency, and intelligent interaction
- Ajdukiewicz functions and basic inference
- Beliefs supported by binary arguments
- 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
- Structures of oppositions in public announcement logic
- On revocable and irrevocable belief revision
- DDL as an ``internalization of dynamic belief revision
- Two logical faces of belief revision
- Normative reasoning and consequence
- Resolving distributed knowledge
- On the solvability of inductive problems: a study in epistemic topology
- Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
- Generalized Quantifiers Meet Modal Neighborhood Semantics
- scientific article; zbMATH DE number 7444842 (Why is no real title available?)
- Dynamic hyperintensional belief revision
- THE MODAL LOGIC OF STEPWISE REMOVAL
- Łukasiewicz Public Announcement Logic
- Syntactic awareness in logical dynamics
- The interrogative model of inquiry meets dynamic epistemic logics
This page was built for publication: Logical dynamics of information and interaction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3114222)
