Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
156 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Epistemic Logics of Structured Intensional Groups (2307.05056v1)

Published 11 Jul 2023 in cs.LO and cs.MA

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.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (20)
  1. Thomas Ågotnes & Yì N. Wáng (2021): Somebody knows. In: Proc. of (KR 2021), pp. 2–11, 10.24963/kr.2021/1.
  2. Marta Bílková, Zoé Christoff & Olivier Roy (2021): Revisiting Epistemic Logic with Names. In J. Halpern & A. Perea, editors: TARK 2021, pp. 39–54, 10.4204/EPTCS.335.4.
  3. Yifeng Ding, Jixin Liu & Yanjing Wang (2023): Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic. Synthese 201(46), 10.1007/s11229-022-04032-y.
  4. Melvin Fitting, Lars Thalmann & Andrei Voronkov (2001): Term-Modal Logics. Studia Logica 69, pp. 133–169, 10.1023/A:1013842612702.
  5. Adam J. Grove (1995): Naming and identity in epistemic logic Part II: a first-order logic for naming. Artificial Intelligence 74(2), pp. 311–350, 10.1016/0004-3702(95)98593-D.
  6. Adam J. Grove & Joseph Y. Halpern (1993): Naming and identity in epistemic logics. Part I: The Propositional Case. Journal of Logic and Computation 3(4), pp. 345–378, 10.1093/logcom/3.4.345.
  7. Helle Hvid Hansen (2003): Monotonic modal logics. Master’s thesis, ILLC UVA. Available at https://eprints.illc.uva.nl/id/document/264.
  8. Helle Hvid Hansen, Clemens Kupke & Eric Pacuit (2007): Bisimulation for neighbourhood structures. In: CALCO 2017, Springer, pp. 279–293, 10.1007/978-3-540-73859-6_19.
  9. Merlin Humml & Lutz Schröder (2023): Common Knowledge of Abstract Groups. In: AAAI ’23, 10.48550/arXiv.2211.16284.
  10. Barteld Kooi (2008): Dynamic term-modal logic. In J. Van Benthem, S. Ju & F. Veltman, editors: A meeting of the minds. Proceedings of the workshop on Logic, Rationality and Interaction LORI 2007, College publications, London, pp. 173–185. Available at https://research.rug.nl/files/2701112/Dynamitermmodallogic.pdf.
  11. Dexter Kozen (1980): A representation theorem for models of *-free PDL. In: Proc. 7th Colloq. Automata, Languages, and Programming, EATCS, pp. 351–362, 10.1007/3-540-10003-2_83. Available at https://dl.acm.org/doi/10.5555/646234.682547.
  12. Yoram Moses & Mark R Tuttle (1988): Programming simultaneous actions using common knowledge. Algorithmica 3(1), pp. 121–169, 10.1007/BF01762112.
  13. Pavel Naumov & Jia Tao (2018): Everyone knows that someone knows: quantifiers over epistemic agents. The review of symbolic logic, 10.1017/S1755020318000497.
  14. Eric Pacuit (2017): Neighborhood semantics for modal logic. Springer, 10.1007/978-3-319-67149-9.
  15. Anantha Padmanabha & Rangaraj Ramanujam (2019): Propositional modal logic with implicit modal quantification. In: ICLA 2019, Springer, pp. 6–17, 10.1007/978-3-662-58771-3_2.
  16. Anantha Padmanabha & Rangaraj Ramanujam (2019): Two variable fragment of Term Modal Logic. In: MFCS 2019, LIPIcs 138, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, pp. 1–14, 10.4230/LIPIcs.MFCS.2019.30.
  17. Anantha Padmanabha, Rangaraj Ramanujam & Yanjing Wang (2018): Bundled Fragments of First-Order Modal Logic: (Un)Decidability. In: FSTTCS 2018, LIPIcs 122, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, pp. 1–20, 10.4230/LIPIcs.FSTTCS.2018.43.
  18. Studia Logica 50(3), pp. 571–605, 10.1007/BF00370685.
  19. Gennady Shtakser (2018): Propositional epistemic logics with quantification over agents of knowledge. Studia Logica 106(2), pp. 311–344, 10.1007/s11225-017-9741-0.
  20. Yanjing Wang & Jeremy Seligman (2018): When names are not commonly known: epistemic logic with assignments. In G. Bezhanishvili, G. D’Agostino, G. Metcalfe & T. Studer, editors: Proceedings of AiML 2018, pp. 611–628. Available at http://www.aiml.net/volumes/volume12/Wang-Seligman.pdf.

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now