Beyond Knowing That: A New Generation of Epistemic Logics

DOI10.1007/978-3-319-62864-6_21zbMath1437.03079arXiv1605.01995OpenAlexW2346246140MaRDI QIDQ3299590

Yanjing Wang

Publication date: 24 July 2020

Published in: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.01995

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Logics of knowledge and belief (including belief change) (03B42) History of mathematics in the 21st century (01A61) History of mathematical logic and foundations (03-03)

Related Items

Adding proof calculi to epistemic logics with structured knowledge, Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic, BISIMULATIONS FOR KNOWING HOW LOGICS, Inquisitive logic as an epistemic logic of knowing how, To be announced, A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic, Are bundles good deals for first-order modal logic?, Tableaux for the Logic of Strategically Knowing How, Epistemic Syllogistic: First Steps, An Abstract Look at Awareness Models and Their Dynamics, Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract), Neighborhood semantics for logic of knowing how, Action models in inquisitive logic, A logic of knowing why, Unnamed Item, A logic of goal-directed knowing how, Planning-based knowing how: a unified approach, A simple logic of functional dependence, Unnamed Item, Opaque updates, Quantifier-free epistemic term-modal logic with assignment operator, Two variants of noncontingency operator, Epistemic logics with structured knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inquisitive dynamic epistemic logic
• A completeness proof for a logic with an alternative necessity operator
• A logic for multiple-source approximation systems with distributed knowledge base
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Dynamic epistemic logic
• Necessity and relative contingency
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Necessity and contingency
• Completeness and definability in the logic of noncontingency
• First order common knowledge logics
• Decidable fragments of first-order temporal logics
• Propositional inquisitive logic: a survey
• Local properties in modal logic
• ``Knowing whether, ``knowing that, and the cardinality of state spaces
• Monodic packed fragment with equality is decidable
• First-order modal logic
• The logic of non-contingency
• Minimal non-contingency logic
• Free quantified epistemic logics
• Knowing whether A or B
• Comments to `Logics of public communications'
• Game logic and its applications. I
• An essay in modal logic
• Using STIT Theory to Talk About Strategies
• Modelling Infinite Structures with Atoms
• Neighborhood Contingency Logic
• Representing Imperfect Information of Procedures with Hyper Models
• Two-variable logic on data words
• From Situation Calculus to Dynamic Epistemic Logic
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• A New Approach to Epistemic Logic
• A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
• A Logic of Knowing How
• Propositional quantifiers in modal logic1
• A unified completeness theorem for quantified modal logics
• A logical analysis of some value concepts
• More for free: a dynamic epistemic framework for conformant planning over transition systems*
• Propositional quantification in logics of contingency
• Towards a Logic of Information Exchange
• LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
• Knowing Values and Public Inspection
• CONTINGENCY AND KNOWING WHETHER
• Roles, Rigidity, and Quantification in Epistemic Logic