Syntactic awareness in logical dynamics

DOI10.1007/S11229-015-0733-1zbMATH Open1357.03047OpenAlexW1981729336WikidataQ62045411 ScholiaQ62045411MaRDI QIDQ513899FDOQ513899

Authors: Davide Grossi, Fernando Raymundo Velázquez-Quesada 

Publication date: 8 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0733-1

Recommendations

• The Dynamics of Syntactic Knowledge
• Towards Syntactic Epistemic Logic
• scientific article; zbMATH DE number 1251242
• Syntax and semantics of superintuitionistic logics
• Semantic presuppositions in logical syntax
• scientific article; zbMATH DE number 1361516
• LOGICAL SYNTAX
• A note on logical relations between semantics and syntax
• Intuitionism and Logical Syntax

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Reasoning about information change
• Modal logic
• Moorean phenomena in epistemic logic
• The logic of public announcements, common knowledge, and private suspicions
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Belief, awareness, and limited reasoning
• Logical dynamics of information and interaction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic
• Unawareness and partitional information structures
• Awareness and partitional information structures
• Interactive unawareness revisited
• Alternative semantics for unawareness
• Interactive unawareness
• On axiomatizations of public announcement logic
• Introducing Justification into Epistemic Logic
• Logics of public communications
• Title not available (Why is that?)
• Becoming aware of propositional variables
• Inference and update
• The dynamics of awareness
• Epistemology without knowledge and without belief
• Epistemic logic for rule-based agents
• Reasoning about rational, but not logically omniscient, agents
• Toward a dynamic logic of questions
• Awareness dynamics
• Dynamic epistemic logic for implicit and explicit beliefs
• Public announcements for non-omniscient agents
• The interrogative model of inquiry meets dynamic epistemic logics
• The Ceteris Paribus Structure of Logics of Game Forms

Cited In (4)

• Belief base: a minimal logic of fine-grained information dynamics
• Introspection as an action in relational models
• An awareness epistemic framework for belief, argumentation and their dynamics
• An Abstract Look at Awareness Models and Their Dynamics

This page was built for publication: Syntactic awareness in logical dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q513899)