Naming and Identity in Epistemic Logics Part I: The Propositional Case

DOI10.1093/logcom/3.4.345zbMath0808.03009OpenAlexW2014740956MaRDI QIDQ4276167

Adam J. Grove, Joseph Y. Halpern

Publication date: 15 March 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.4.345

zbMATH Keywords

distributed systemspropositional modal logicspossible-worlds semanticsnaminglogics of knowledgeknowledge about self-identitynon-rigid namesrelative names

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)

Related Items (14)

Logic in Access Control (Tutorial Notes) ⋮ Propositional dynamic logic with quantification over regular computation sequences ⋮ Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Epistemic Logics of Structured Intensional Groups ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ A knowledge-based analysis of global function computation ⋮ A logic for reasoning about ambiguity ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) ⋮ Naming and identity in epistemic logic. II: A first-order logic for naming ⋮ Ambiguous language and common priors

This page was built for publication: Naming and Identity in Epistemic Logics Part I: The Propositional Case