Quantifier-free epistemic term-modal logic with assignment operator

DOI10.1016/J.APAL.2021.103071MaRDI QIDQ2067514zbMATH OpenOpenAlexFDO

Authors Yanjing Wang, Yu Wei, Jeremy Seligman

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

\(\lambda\)-abstractionassignment operatorepistemic logicmodal predicate logicterm-modal logic

Mathematics Subject Classification ID

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

Recommendations

• When names are not commonly known: epistemic logic with assignments
• Free quantified epistemic logics
• Term-modal logic and quantifier-free dynamic assignment logic
• A new approach to epistemic logic
• Revisiting epistemic logic with names

Cites work

• A new modal framework for epistemic logic
• A unified completeness theorem for quantified modal logics
• Axiomatising the logic of computer programming
• Beyond knowing that: a new generation of epistemic logics
• Dynamic term-modal logic for epistemic social network dynamics
• Dynamic term-modal logics for first-order epistemic planning
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• First-order modal logic
• First-order modal logic: frame definability and a Lindström theorem
• Frame correspondences in modal predicate logic
• Free quantified epistemic logics
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• Knowing-who in quantified epistemic logic
• Modal Logics Between Propositional and First-order
• Model Theory
• Modeling semantic competence: a critical review of Frege's puzzle about identity
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Propositional modal logic with implicit modal quantification
• Roles, rigidity, and quantification in epistemic logic
• Term-modal logic and quantifier-free dynamic assignment logic
• Term-modal logics
• The monodic fragment of propositional term modal logic
• Two variable fragment of term modal logic
• When names are not commonly known: epistemic logic with assignments

Cited in

(10)

• 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
• Modal logics with non-rigid propositional designators
• Revisiting epistemic logic with names
• Bringing de re and de dicto into STIT logic
• Deciding the existence of interpolants and definitions in first-order modal logic
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style system for term-modal logic K with equality and non-rigid terms
• An egocentric logic of de dicto and de re knowing who
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style systems for term-modal logics with equality and non-rigid terms

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

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