scientific article

zbMath1483.03013arXiv1707.08764MaRDI QIDQ3384090

Yanjing Wang

Publication date: 14 December 2021

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

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

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items

BISIMULATIONS FOR KNOWING HOW LOGICS, Inquisitive logic as an epistemic logic of knowing how, A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic, Are bundles good deals for first-order modal logic?, Epistemic Syllogistic: First Steps, Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract), Neighborhood semantics for logic of knowing how, A logic of knowing why, Unnamed Item, Unnamed Item, Quantifier-free epistemic term-modal logic with assignment operator

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
• Modal languages and bounded fragments of predicate logic
• Together we know how to achieve: an epistemic logic of know-how
• Monodic packed fragment with equality is decidable
• Automata, logics, and infinite games. A guide to current research
• First-order modal logic
• The guarded fragment with transitive guards
• A logic of goal-directed knowing how
• Logics of public communications
• Decidable fragments of first-order modal logics
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• Beyond Knowing That: A New Generation of Epistemic Logics
• A Logic of Knowing How
• Constructive knowledge: what agents can achieve under imperfect information
• Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
• Knowing Values and Public Inspection
• Achieving While Maintaining:
• CONTINGENCY AND KNOWING WHETHER