Quantifier-free epistemic term-modal logic with assignment operator

DOI10.1016/j.apal.2021.103071OpenAlexW3216606561MaRDI QIDQ2067514

Yanjing Wang, Jeremy Seligman, Yu Wei

Publication date: 18 January 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2021.103071

zbMATH Keywords

epistemic logicmodal predicate logic\(\lambda\)-abstractionassignment operatorterm-modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Classical first-order logic (03B10)

Related Items (3)

Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Two ways to scare a Gruffalo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Axiomatising the logic of computer programming
• First-order modal logic: frame definability and a Lindström theorem
• Naming and identity in epistemic logic. II: A first-order logic for naming
• First-order modal logic
• The monodic fragment of propositional term modal logic
• Free quantified epistemic logics
• Dynamic term-modal logics for first-order epistemic planning
• Propositional modal logic with implicit modal quantification
• Dynamic term-modal logic for epistemic social network dynamics
• Knowing-Who in Quantified Epistemic Logic
• Beyond Knowing That: A New Generation of Epistemic Logics
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• A unified completeness theorem for quantified modal logics
• Model Theory
• Modal Logics Between Propositional and First-order
• Modeling Semantic Competence: A Critical Review of Frege’s Puzzle about Identity
• When Names Are Not Commonly Known: Epistemic Logic with Assignments
• Roles, Rigidity, and Quantification in Epistemic Logic
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• Term-modal logics

This page was built for publication: Quantifier-free epistemic term-modal logic with assignment operator