{"type":"ScholarlyArticle","title":"Shhh! The Logic of Clandestine Operations","authors":[{"name":"Pavel Naumov","slug":"pavel-naumov","given":"Pavel","family":"Naumov","affiliation":"University of Southampton , United Kingdom"},{"name":"Oliver Orejola","slug":"oliver-orejola","given":"Oliver","family":"Orejola","affiliation":"Tulane University , United States"}],"abstract":"An operation is called covert if it conceals the identity of the actor; it is called clandestine if the very fact that the operation is conducted is concealed. The paper proposes a formal semantics of clandestine operations and introduces a sound and complete logical system that describes the interplay between the distributed knowledge modality and a modality capturing coalition power to conduct clandestine operations.","doi":"10.24963/ijcai.2023/368","url":"https://ijcai.org/proceedings/2023/368","pdf":"https://ijcai.org/proceedings/2023/0368.pdf","markdown":"https://ijcai.org/proceedings/2023/368.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/368","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":368,"pages":{"first":3304,"last":3311},"keywords":["Knowledge Representation and Reasoning: KRR: Reasoning about actions","Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief"],"videos":[],"references":[{"position":1,"raw":"[Ågotnes and Alechina, 2012] Thomas Ågotnes and Natasha Alechina. Epistemic coalition logic: completeness and complexity. In Proceedings of the 11th International Con- ference on Autonomous Agents and Multiagent Systems- Volume 2 (AAMAS), pages 1099-1106, 2012.","title":"Thomas Ågotnes and Natasha Alechina. Epistemic coalition logic: completeness and complexity","authors":"Alechina Ågotnes","year":"2012","venue":"Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Ågotnes and Alechina, 2019] Thomas Ågotnes and Natasha Alechina. Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation, 29:1041-1069, 11 2019.","title":"Coalition logic with individual, distributed and common knowledge","authors":"Thomas Ågotnes, Natasha Alechina","year":"2019","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Belnap and Perloff, 1990] Nuel Belnap and Michael Perloff. Seeing to it that: A canonical form for agentives. In Knowledge representation and defeasible reasoning, pages 167-190. Springer, 1990.","title":"Seeing to it that: A canonical form for agentives","authors":"Nuel Belnap, Michael Perloff","year":"1990","venue":"Knowledge representation and defeasible reasoning","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cao and Naumov, 2020] Rui Cao and Pavel Naumov. Knowing the price of success. Artificial Intelligence, 284:103287, 2020.","title":"Knowing the price of success","authors":"Rui Cao, Pavel Naumov","year":"2020","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Fervari et al., 2017] Raul Fervari, Andreas Herzig, Yanjun Li, and Yanjing Wang. Strategically knowing how. In Proceedings of the Twenty-Sixth International Joint Con- ference on Artificial Intelligence, IJCAI-17, pages 1031- 1038, 2017.","title":"Strategically knowing how","authors":"Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang","year":"2017","venue":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Hansen, 2007] James H. Hansen. Soviet deception in the cuban missile crisis. Studies in Intelligence, 46(1), 2007.","title":"Soviet deception in the cuban missile crisis","authors":"H James, Hansen","year":"2007","venue":"Studies in Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Horty and Belnap, 1995] John F Horty and Nuel Belnap. The deliberative STIT: A study of action, omission, abil- ity, and obligation. Journal of Philosophical Logic, 24(6):583-644, 1995.","title":"The deliberative STIT: A study of action, omission, ability, and obligation","authors":"F John, Nuel Horty, Belnap","year":"1995","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Horty and Pacuit, 2017] John Horty and Eric Pacuit. Action types in STIT semantics. The Review of Symbolic Logic, 10(4):617-637, 2017.","title":"Action types in STIT semantics","authors":"Pacuit Horty, John Horty, Eric Pacuit","year":"2017","venue":"The Review of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Horty, 2001] John F Horty. Agency and deontic logic. Ox- ford University Press, 2001.","title":"Agency and deontic logic","authors":"F John, Horty","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Li and Wang, 2017] Yanjun Li and Yanjing Wang. Achiev- ing while maintaining: A logic of knowing how with inter- mediate constraints. In Logic and Its Applications: Pro- ceedings of 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, pages 154-167. Springer, 2017.","title":"Achieving while maintaining: A logic of knowing how with intermediate constraints","authors":"Wang ; ] Yanjun Li, Yanjing Li, Wang","year":"2017","venue":"Logic and Its Applications: Proceedings of 7th Indian Conference, ICLA 2017","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[McAuliffe, 1992] Mary S. McAuliffe. CIA Docu- ments on the cuban missile crisis 1962, October 1992. https://www.cia.gov/library/center-for-the- study-of-intelligence/csi-publications/books-and- monographs/Cuban%20Missile%20Crisis1962.pdf.","title":"CIA Documents on the cuban missile crisis 1962","authors":"Mary S Mcauliffe","year":"1992","venue":null,"doi":null,"url":"https://www.cia.gov/library/center-for-the-study-of-intelligence/csi-publications/books-and-monographs/Cuban%20Missile%20Crisis1962.pdf","internal_url":null},{"position":12,"raw":"[Naumov and Orejola, 2023] Pavel Naumov and Oliver Ore- jola. Shhh! the logic of clandestine operations. arXiv:2305.07035, 2023.","title":"Shhh! the logic of clandestine operations","authors":"Orejola Naumov, Pavel Naumov, Oliver Orejola","year":"2023","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Naumov and Tao, 2017] Pavel Naumov and Jia Tao. Coali- tion power in epistemic transition systems. In Proceed- ings of the 2017 International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 723-731, 2017.","title":"Coalition power in epistemic transition systems","authors":"Tao ; Naumov, Pavel Naumov, Jia Tao","year":"2017","venue":"Proceedings of the 2017 International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Naumov and Tao, 2018a] Pavel Naumov and Jia Tao. Strategic coalitions with perfect recall. In Proceedings of Thirty-Second AAAI Conference on Artificial Intelligence, 2018.","title":"Strategic coalitions with perfect recall","authors":"Tao Naumov, Pavel Naumov, Jia Tao","year":"2018","venue":"Proceedings of Thirty-Second AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Naumov and Tao, 2018b] Pavel Naumov and Jia Tao. To- gether we know how to achieve: An epistemic logic of know-how. Artificial Intelligence, 262:279 -300, 2018.","title":"Together we know how to achieve: An epistemic logic of know-how","authors":"Tao Naumov, Pavel Naumov, Jia Tao","year":"2018","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Olkhovikov and Wansing, 2019] Grigory K Olkhovikov and Heinrich Wansing. Inference as doxastic agency. part i: The basics of justification STIT logic. Studia Logica, 107(1):167-194, 2019.","title":"Inference as doxastic agency. part i: The basics of justification STIT logic","authors":"K Grigory, Heinrich Olkhovikov, Wansing","year":"2019","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[van der Hoek and Wooldridge, 2003] Wiebe van der Hoek and Michael Wooldridge. Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its ap- plications. Studia Logica, 75(1):125-157, 2003.","title":"Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications","authors":"Hoek Van Der, Michael Wooldridge ; Wiebe Van Der Hoek, Wooldridge","year":"2003","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Wang, 2015] Yanjing Wang. A logic of knowing how. In Logic, Rationality, and Interaction, pages 392-405. Springer, 2015.","title":"A logic of knowing how","authors":"Yanjing Wang","year":"2015","venue":"Logic, Rationality, and Interaction","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Wang, 2018] Yanjing Wang. A logic of goal-directed know- ing how. Synthese, 195(10):4419-4439, 2018.","title":"A logic of goal-directed knowing how","authors":"Yanjing Wang","year":"2018","venue":"Synthese","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}