Littérature scientifique sur le sujet « Arbitrary public announcement logic »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Arbitrary public announcement logic ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Arbitrary public announcement logic"
Charrier, Tristan, Sophie Pinchinat et FranÇois Schwarzentruber. « Symbolic model checking of public announcement protocols ». Journal of Logic and Computation 29, no 8 (décembre 2019) : 1211–49. http://dx.doi.org/10.1093/logcom/exz023.
Texte intégralBALBIANI, PHILIPPE, ALEXANDRU BALTAG, HANS VAN DITMARSCH, ANDREAS HERZIG, TOMOHIRO HOSHI et TIAGO DE LIMA. « ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ». Review of Symbolic Logic 1, no 3 (octobre 2008) : 305–34. http://dx.doi.org/10.1017/s1755020308080210.
Texte intégralGalimullin, Rustam, et Louwe B. Kuijer. « Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard ». Electronic Proceedings in Theoretical Computer Science 379 (9 juillet 2023) : 260–71. http://dx.doi.org/10.4204/eptcs.379.21.
Texte intégralCourtault, J. R., H. van Ditmarsch et D. Galmiche. « A public announcement separation logic ». Mathematical Structures in Computer Science 29, no 06 (15 avril 2019) : 828–71. http://dx.doi.org/10.1017/s0960129518000348.
Texte intégralBalbiani, P., H. van Ditmarsch, A. Herzig et T. de Lima. « Tableaux for Public Announcement Logic ». Journal of Logic and Computation 20, no 1 (21 novembre 2008) : 55–76. http://dx.doi.org/10.1093/logcom/exn060.
Texte intégralBenevides, Mário, Alexandre Madeira et Manuel A. Martins. « Graded epistemic logic with public announcement ». Journal of Logical and Algebraic Methods in Programming 125 (février 2022) : 100732. http://dx.doi.org/10.1016/j.jlamp.2021.100732.
Texte intégralBaşkent, Can. « Public Announcement Logic in Geometric Frameworks ». Fundamenta Informaticae 118, no 3 (2012) : 207–23. http://dx.doi.org/10.3233/fi-2012-710.
Texte intégralWang, Yanjing, et Qinxiang Cao. « On axiomatizations of public announcement logic ». Synthese 190, S1 (5 janvier 2013) : 103–34. http://dx.doi.org/10.1007/s11229-012-0233-5.
Texte intégralFRANCO, ANDRÉS CORDÓN, HANS VAN DITMARSCH et ANGEL NEPOMUCENO. « DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT ». Review of Symbolic Logic 6, no 4 (14 octobre 2013) : 659–79. http://dx.doi.org/10.1017/s1755020313000294.
Texte intégralMohd Nasir, Muhammad Farhan, Wan Ainun Mior Othman et Kok Bin Wong. « Labelled Natural Deduction for Public Announcement Logic with Common Knowledge ». Mathematics 8, no 4 (18 avril 2020) : 626. http://dx.doi.org/10.3390/math8040626.
Texte intégralThèses sur le sujet "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.
Texte intégralWe 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.
Texte intégralThe 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.
Texte intégralKuncová, Alexandra. « Generický přístup ke změně nejistoty s důrazem na kondicionalizaci ». Master's thesis, 2016. http://www.nusl.cz/ntk/nusl-350578.
Texte intégralChapitres de livres sur le sujet "Arbitrary public announcement logic"
Kuijer, Louwe Bouke. « How Arbitrary Are Arbitrary Public Announcements ? » Dans 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.
Texte intégralCharrier, Tristan, Sophie Pinchinat et François Schwarzentruber. « Model Checking Against Arbitrary Public Announcement Logic : A First-Order-Logic Prover Approach for the Existential Fragment ». Dans Lecture Notes in Computer Science, 133–52. Cham : Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-73579-5_9.
Texte intégralXiong, Zuojun, et Thomas Ågotnes. « Arbitrary Propositional Network Announcement Logic ». Dans Lecture Notes in Computer Science, 277–93. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-65840-3_17.
Texte intégralCabrer, Leonardo, Umberto Rivieccio et Ricardo Oscar Rodriguez. « Łukasiewicz Public Announcement Logic ». Dans 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.
Texte intégralWáng, Yì N., et Thomas Ågotnes. « Subset Space Public Announcement Logic ». Dans Logic and Its Applications, 245–57. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36039-8_22.
Texte intégralReiche, Sebastian, et Christoph Benzmüller. « Public Announcement Logic in HOL ». Dans Lecture Notes in Computer Science, 222–38. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-65840-3_14.
Texte intégralWáng, Yì N., et Thomas Ågotnes. « Public Announcement Logic with Distributed Knowledge ». Dans Logic, Rationality, and Interaction, 328–41. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24130-7_24.
Texte intégralMa, Minghui, Katsuhiko Sano, François Schwarzentruber et Fernando R. Velázquez-Quesada. « Tableaux for Non-normal Public Announcement Logic ». Dans Logic and Its Applications, 132–45. Berlin, Heidelberg : Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-45824-2_9.
Texte intégralDemey, Lorenz. « Structures of Oppositions in Public Announcement Logic ». Dans 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.
Texte intégralSadrzadeh, Mehrnoosh, Alessandra Palmigiano et Minghui Ma. « Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic ». Dans Logic, Rationality, and Interaction, 394–95. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24130-7_34.
Texte intégralActes de conférences sur le sujet "Arbitrary public announcement logic"
Herzig, Andreas, et Antonio Yuste Ginel. « Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks ». Dans 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.
Texte intégralLutz, Carsten. « Complexity and succinctness of public announcement logic ». Dans the fifth international joint conference. New York, New York, USA : ACM Press, 2006. http://dx.doi.org/10.1145/1160633.1160657.
Texte intégralChakraborty, Sourav, Avijeet Ghosh, Sujata Ghosh et François Schwarzentruber. « On Simple Expectations and Observations of Intelligent Agents : A Complexity Study ». Dans 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.
Texte intégralHuang, Xiao, Biqing Fang, Hai Wan et Yongmei Liu. « A General Multi-agent Epistemic Planner Based on Higher-order Belief Change ». Dans 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.
Texte intégralRapports d'organisations sur le sujet "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.
Texte intégral