Epistemic Logics of Structured Intensional Groups

DOI10.4204/EPTCS.379.11MaRDI QIDQ6199602zbMATH OpenOpenAlexFDO

Authors Marta Bílková, Igor Sedlár

Publication date 28 February 2024

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Abstract: Epistemic logics of intensional groups lift the assumption that membership in a group of agents is common knowledge. Instead of being represented directly as a set of agents, intensional groups are represented by a property that may change its extension from world to world. Several authors have considered versions of the intensional group framework where group-specifying properties are articulated using structured terms of a language, such as the language of Boolean algebras or of description logic. In this paper we formulate a general semantic framework for epistemic logics of structured intensional groups, develop the basic theory leading to completeness-via-canonicity results, and show that several frameworks presented in the literature correspond to special cases of the general framework.

Recommendations

• Revisiting epistemic logic with names
• Epistemic logics with structured knowledge
• Intuitionistic common knowledge or belief
• First degree entailment with group attitudes and information updates
• What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics

Cites work

• Bisimulation for Neighbourhood Structures
• Bundled fragments of first-order modal logic: (un)decidability
• Dynamic algebras: Examples, constructions, applications
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• scientific article; zbMATH DE number 3704559 (Why is no real title available?)
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Neighborhood semantics for modal logic
• Programming simultaneous actions using common knowledge
• Propositional epistemic logics with quantification over agents of knowledge
• Propositional modal logic with implicit modal quantification
• Term-modal logics
• Two variable fragment of term modal logic
• When names are not commonly known: epistemic logic with assignments

Cited in

(1)

• First degree entailment with group attitudes and information updates

This page was built for publication: Epistemic Logics of Structured Intensional Groups

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