Literatura académica sobre el tema "Arbitrary public announcement logic"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Arbitrary public announcement logic".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Arbitrary public announcement logic"
Charrier, Tristan, Sophie Pinchinat y FranÇois Schwarzentruber. "Symbolic model checking of public announcement protocols". Journal of Logic and Computation 29, n.º 8 (diciembre de 2019): 1211–49. http://dx.doi.org/10.1093/logcom/exz023.
Texto completoBALBIANI, PHILIPPE, ALEXANDRU BALTAG, HANS VAN DITMARSCH, ANDREAS HERZIG, TOMOHIRO HOSHI y TIAGO DE LIMA. "‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’". Review of Symbolic Logic 1, n.º 3 (octubre de 2008): 305–34. http://dx.doi.org/10.1017/s1755020308080210.
Texto completoGalimullin, Rustam y Louwe B. Kuijer. "Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard". Electronic Proceedings in Theoretical Computer Science 379 (9 de julio de 2023): 260–71. http://dx.doi.org/10.4204/eptcs.379.21.
Texto completoCourtault, J. R., H. van Ditmarsch y D. Galmiche. "A public announcement separation logic". Mathematical Structures in Computer Science 29, n.º 06 (15 de abril de 2019): 828–71. http://dx.doi.org/10.1017/s0960129518000348.
Texto completoBalbiani, P., H. van Ditmarsch, A. Herzig y T. de Lima. "Tableaux for Public Announcement Logic". Journal of Logic and Computation 20, n.º 1 (21 de noviembre de 2008): 55–76. http://dx.doi.org/10.1093/logcom/exn060.
Texto completoBenevides, Mário, Alexandre Madeira y Manuel A. Martins. "Graded epistemic logic with public announcement". Journal of Logical and Algebraic Methods in Programming 125 (febrero de 2022): 100732. http://dx.doi.org/10.1016/j.jlamp.2021.100732.
Texto completoBaşkent, Can. "Public Announcement Logic in Geometric Frameworks". Fundamenta Informaticae 118, n.º 3 (2012): 207–23. http://dx.doi.org/10.3233/fi-2012-710.
Texto completoWang, Yanjing y Qinxiang Cao. "On axiomatizations of public announcement logic". Synthese 190, S1 (5 de enero de 2013): 103–34. http://dx.doi.org/10.1007/s11229-012-0233-5.
Texto completoFRANCO, ANDRÉS CORDÓN, HANS VAN DITMARSCH y ANGEL NEPOMUCENO. "DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT". Review of Symbolic Logic 6, n.º 4 (14 de octubre de 2013): 659–79. http://dx.doi.org/10.1017/s1755020313000294.
Texto completoMohd Nasir, Muhammad Farhan, Wan Ainun Mior Othman y Kok Bin Wong. "Labelled Natural Deduction for Public Announcement Logic with Common Knowledge". Mathematics 8, n.º 4 (18 de abril de 2020): 626. http://dx.doi.org/10.3390/math8040626.
Texto completoTesis sobre el tema "Arbitrary public announcement logic"
Liu, Mo. "Dynamic Epistemic Logic with Quantification And Normative Systems". Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0077.
Texto completoWe live in a world where information is constantly being updated. Logics with dynamic operators are capable of reasoning about multi-agent information change. Dynamic epistemic logic is the logic of knowledge change. For example, in public announcement logic, an announcement restricts the domain to states where it is true to represent the consequences of knowledge change. A generalization of dynamic epistemic logic is the extension with quantification. It bridges an interesting gap between propositional modal logic and first-order logic in expressivity and decidability. Arbitrary public announcement logic extends public announcement logic by adding quantification over all announcements. It is more expressive than modal logics and public announcement logic, but undecidable. In this thesis, we propose some novel versions of arbitrary public announcement logic. Firstly, we can restrict the quantification from over all announcements to over subsets of them. To be specific, the announcements involved could use only a subset of all propositional variables or implied or implying a given formula. Even though these variants of arbitrary public announcement logic are still undecidable, we show there is an interesting hierarchy of relative expressivity of them. Another approach is based on the idea of packing operators together. Packed operators represent more complex notions and also restrict the expressivity of languages. The notion of "knowability'' can be interpreted as "there is a possible information change after which the agent knows something''. It is natural to represent by the package of a quantified dynamic operator and a epistemic operator. In this thesis, we propose logics of knowability using such packed operators. We show that if there is no restriction on announcements, then the logic of knowability is more expressive than public announcement logic, but undecidable; if we only quantify over boolean announcements, then the logic has the same expressivity as propositional modal logic. Besides the extension with quantification, in this thesis, we also combine dynamic epistemic logic with normative system. Arrow update logic contains modalities that specify which relations should be preserved after updating by source and target conditions. It is designed to reason about multi-agent belief change. We can also use it to represent the notion of "norm'' which regulates behaviors of agents in a consequential way. We propose normative arrow update logic which combines arrow update logic and normative temporal logic. It also concludes additive, multiplicative and sequential combination of norms. Normative arrow update logic can distinguish between static and dynamic ways to consider norms as dynamic epistemic logic. We show its relative expressivity with other related logics, its decidability, and complexity
Magnier, Sébastien. "Considérations dialogiques autour de la dynamique épistémique et de la notion de condition dans le droit". Thesis, Lille 3, 2013. http://www.theses.fr/2013LIL30039.
Texto completoThe project of this thesis stems from the observation of a split between epistemology and epistemic logic.If some attempts at conciliation have been successful, here we explore the possibility of reconciliation between epistemology and epistemic logic through argumentation.Studying epistemic logic in argumentative practice, that is to say in dialogues, enables us to benefit from a dynamic framework to explore the dynamics and the meaning of the language of epistemic logic.We show that this reconciliation of epistemology and epistemic logic in an argumentative practice is relevant in the legal field because it offers an original approach to the notion of condition in law
Pivoňková, Martina. "Dynamické epistemické logiky". Master's thesis, 2012. http://www.nusl.cz/ntk/nusl-310484.
Texto completoKuncová, Alexandra. "Generický přístup ke změně nejistoty s důrazem na kondicionalizaci". Master's thesis, 2016. http://www.nusl.cz/ntk/nusl-350578.
Texto completoCapítulos de libros sobre el tema "Arbitrary public announcement logic"
Kuijer, Louwe Bouke. "How Arbitrary Are Arbitrary Public Announcements?" En Pristine Perspectives on Logic, Language, and Computation, 109–23. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-44116-9_8.
Texto completoCharrier, Tristan, Sophie Pinchinat y François Schwarzentruber. "Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment". En Lecture Notes in Computer Science, 133–52. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-73579-5_9.
Texto completoXiong, Zuojun y Thomas Ågotnes. "Arbitrary Propositional Network Announcement Logic". En Lecture Notes in Computer Science, 277–93. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-65840-3_17.
Texto completoCabrer, Leonardo, Umberto Rivieccio y Ricardo Oscar Rodriguez. "Łukasiewicz Public Announcement Logic". En Information Processing and Management of Uncertainty in Knowledge-Based Systems, 108–22. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40581-0_10.
Texto completoWáng, Yì N. y Thomas Ågotnes. "Subset Space Public Announcement Logic". En Logic and Its Applications, 245–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36039-8_22.
Texto completoReiche, Sebastian y Christoph Benzmüller. "Public Announcement Logic in HOL". En Lecture Notes in Computer Science, 222–38. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-65840-3_14.
Texto completoWáng, Yì N. y Thomas Ågotnes. "Public Announcement Logic with Distributed Knowledge". En Logic, Rationality, and Interaction, 328–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24130-7_24.
Texto completoMa, Minghui, Katsuhiko Sano, François Schwarzentruber y Fernando R. Velázquez-Quesada. "Tableaux for Non-normal Public Announcement Logic". En Logic and Its Applications, 132–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-45824-2_9.
Texto completoDemey, Lorenz. "Structures of Oppositions in Public Announcement Logic". En Around and Beyond the Square of Opposition, 313–39. Basel: Springer Basel, 2012. http://dx.doi.org/10.1007/978-3-0348-0379-3_22.
Texto completoSadrzadeh, Mehrnoosh, Alessandra Palmigiano y Minghui Ma. "Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic". En Logic, Rationality, and Interaction, 394–95. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24130-7_34.
Texto completoActas de conferencias sobre el tema "Arbitrary public announcement logic"
Herzig, Andreas y Antonio Yuste Ginel. "Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks". En Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/265.
Texto completoLutz, Carsten. "Complexity and succinctness of public announcement logic". En the fifth international joint conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1160633.1160657.
Texto completoChakraborty, Sourav, Avijeet Ghosh, Sujata Ghosh y François Schwarzentruber. "On Simple Expectations and Observations of Intelligent Agents: A Complexity Study". En 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/14.
Texto completoHuang, Xiao, Biqing Fang, Hai Wan y Yongmei Liu. "A General Multi-agent Epistemic Planner Based on Higher-order Belief Change". En Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/152.
Texto completoInformes sobre el tema "Arbitrary public announcement logic"
Lutz, Carsten. Complexity and Succinctness of Public Announcement Logic. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.152.
Texto completo