Log in

Relevant bibliographies by topics / Arbitrary public announcement logic / Journal articles

To see the other types of publications on this topic, follow the link: Arbitrary public announcement logic.

Journal articles on the topic 'Arbitrary public announcement logic'

Author: Grafiati

Published: 8 June 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Arbitrary public announcement logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Charrier, Tristan, Sophie Pinchinat, and FranÇois Schwarzentruber. "Symbolic model checking of public announcement protocols." Journal of Logic and Computation 29, no. 8 (2019): 1211–49. http://dx.doi.org/10.1093/logcom/exz023.

Full text

Abstract:

Abstract We study the symbolic model checking problem against public announcement protocol logic (PAPL), featuring protocols with public announcements, arbitrary public announcements and group announcements. Technically, symbolic models are Kripke models whose accessibility relations are presented as programs described in a dynamic logic style with propositional assignments. We highlight the relevance of such symbolic models and show that the symbolic model checking problem against PAPL is A$_{\textrm{pol}}$Exptime-complete as soon as announcement protocols allow for either arbitrary announcem

APA, Harvard, Vancouver, ISO, and other styles

2

BALBIANI, PHILIPPE, ALEXANDRU BALTAG, HANS VAN DITMARSCH, ANDREAS HERZIG, TOMOHIRO HOSHI, and TIAGO DE LIMA. "‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’." Review of Symbolic Logic 1, no. 3 (2008): 305–34. http://dx.doi.org/10.1017/s1755020308080210.

Full text

Abstract:

Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: ⋄φ expresses that there is a truthful announcement ψ after which φ is true. This logic gives a perspective on Fitch's knowability issues: For which formulas φ, does it hold that φ → ⋄Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of th

APA, Harvard, Vancouver, ISO, and other styles

3

Galimullin, Rustam, та Louwe B. Kuijer. "Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard". Electronic Proceedings in Theoretical Computer Science 379 (9 липня 2023): 260–71. http://dx.doi.org/10.4204/eptcs.379.21.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Courtault, J. R., H. van Ditmarsch, and D. Galmiche. "A public announcement separation logic." Mathematical Structures in Computer Science 29, no. 06 (2019): 828–71. http://dx.doi.org/10.1017/s0960129518000348.

Full text

Abstract:

AbstractWe define a Public Announcement Separation Logic (PASL) that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying its semantics and illustrating its interest for modelling systems, we provide a sound and complete tableau calculus that deals with resource, agent and announcement constraints and give also a countermodel extraction method.

APA, Harvard, Vancouver, ISO, and other styles

5

Balbiani, P., H. van Ditmarsch, A. Herzig, and T. de Lima. "Tableaux for Public Announcement Logic." Journal of Logic and Computation 20, no. 1 (2008): 55–76. http://dx.doi.org/10.1093/logcom/exn060.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Benevides, Mário, Alexandre Madeira, and Manuel A. Martins. "Graded epistemic logic with public announcement." Journal of Logical and Algebraic Methods in Programming 125 (February 2022): 100732. http://dx.doi.org/10.1016/j.jlamp.2021.100732.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Baş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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Wang, Yanjing, and Qinxiang Cao. "On axiomatizations of public announcement logic." Synthese 190, S1 (2013): 103–34. http://dx.doi.org/10.1007/s11229-012-0233-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

FRANCO, ANDRÉS CORDÓN, HANS VAN DITMARSCH, and ANGEL NEPOMUCENO. "DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT." Review of Symbolic Logic 6, no. 4 (2013): 659–79. http://dx.doi.org/10.1017/s1755020313000294.

Full text

Abstract:

AbstractIn van Benthem (2008), van Benthem proposes a dynamic consequence relation defined as ${\psi _1}, \ldots ,{\psi _n}{ \models ^d}\phi \,{\rm{iff}}{ \models ^{pa}}[{\psi _1}] \ldots [{\psi _n}]\phi ,$ where the latter denotes consequence in public announcement logic, a dynamic epistemic logic. In this paper we investigate the structural properties of a conditional dynamic consequence relation $\models _{\rm{\Gamma }}^d$ extending van Benthem’s proposal. It takes into account a set of background conditions Γ, inspired by Makinson (2003) wherein Makinson calls this reasoning ‘modulo’ a set

APA, Harvard, Vancouver, ISO, and other styles

10

Mohd Nasir, Muhammad Farhan, Wan Ainun Mior Othman, and Kok Bin Wong. "Labelled Natural Deduction for Public Announcement Logic with Common Knowledge." Mathematics 8, no. 4 (2020): 626. http://dx.doi.org/10.3390/math8040626.

Full text

Abstract:

Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement logic with the common knowledge operator (PAC). The completeness of the proposed system is proved indirectly through a Hilbert calculus for PAC known to be complete and sound. We conclude with several discussions regarding the system including some problems of the system in attaining normalisation and subformula property.

APA, Harvard, Vancouver, ISO, and other styles

11

Hansen, Jens Ulrik. "A Hybrid Public Announcement Logic with Distributed Knowledge." Electronic Notes in Theoretical Computer Science 273 (July 2011): 33–50. http://dx.doi.org/10.1016/j.entcs.2011.06.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Abraham, M., I. Belfer, D. M. Gabbay, and U. Schild. "Future determination of entities in Talmudic public announcement logic." Journal of Applied Logic 11, no. 1 (2013): 63–90. http://dx.doi.org/10.1016/j.jal.2012.06.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Алешина, Н. А. "Model checking for coalition announcement logic." Logical Investigations 24, no. 2 (2018): 59–69. http://dx.doi.org/10.21146/2074-1472-2018-24-2-59-69.

Full text

Abstract:

This talk is based on joint work with Rustam Galimullin and Hans van Ditmarsh, published in the German Conference on Artificial Intelligence (KI 2018). First I will introduce background and motivation for the work. I will introduce multi-agent Epistemic Logic (EL) for representing knowledge of (idealised) agents, Public Announcement Logic (PAL) for modelling knowledge change after truthful announcements, Group Announcement Logic (GAL) for modelling what kinds of changes in other agents’ knowledge a group of agents can effect, and Coalition Announcement Logic (CAL) which is the main subject of

APA, Harvard, Vancouver, ISO, and other styles

14

Ma, Minghui, Alessandra Palmigiano, and Mehrnoosh Sadrzadeh. "Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic." Annals of Pure and Applied Logic 165, no. 4 (2014): 963–95. http://dx.doi.org/10.1016/j.apal.2013.11.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Wáng, Yì N., and Thomas Ågotnes. "Public announcement logic with distributed knowledge: expressivity, completeness and complexity." Synthese 190, S1 (2013): 135–62. http://dx.doi.org/10.1007/s11229-012-0243-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Balbiani, Philippe, Hans van Ditmarsch, and Saúl Fernández González. "Asynchronous Announcements." ACM Transactions on Computational Logic 23, no. 2 (2022): 1–38. http://dx.doi.org/10.1145/3481806.

Full text

Abstract:

We propose a multi-agent epistemic logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents, and in the order in which they were sent. Additional to epistemic modalities the logic contains dynamic modalities for making announcements and for receiving them. What an agent believes is a function of her initial uncertainty and of the announcements she has received. Beliefs need not be truthful, because announcements already made may not yet have been received. As announcements are true when sent, certain message sequences can be ruled

APA, Harvard, Vancouver, ISO, and other styles

17

Nomura, Shoshin, Hiroakira Ono, and Katsuhiko Sano. "A cut-free labelled sequent calculus for dynamic epistemic logic." Journal of Logic and Computation 30, no. 1 (2020): 321–48. http://dx.doi.org/10.1093/logcom/exaa014.

Full text

Abstract:

Abstract Dynamic epistemic logic is a logic that is aimed at formally expressing how a person’s knowledge changes. We provide a cut-free labelled sequent calculus ($\textbf{GDEL}$) on the background of existing studies of Hilbert-style axiomatization $\textbf{HDEL}$ of dynamic epistemic logic and labelled calculi for public announcement logic. We first show that the $cut$ rule is admissible in $\textbf{GDEL}$ and show that $\textbf{GDEL}$ is sound and complete for Kripke semantics. Moreover, we show that the basis of $\textbf{GDEL}$ is extended from modal logic K to other familiar modal logics

APA, Harvard, Vancouver, ISO, and other styles

18

Gattinger, Malvin, and Yanjing Wang. "How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions." Electronic Proceedings in Theoretical Computer Science 297 (July 19, 2019): 206–20. http://dx.doi.org/10.4204/eptcs.297.14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Cui, JianYing, and XiaoJia Tang. "A method for solving Nash equilibria of games based on public announcement logic." Science China Information Sciences 53, no. 7 (2010): 1358–68. http://dx.doi.org/10.1007/s11432-010-4010-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Grunewald, Fritz, and Daniel Segal. "Decision problems concerning S-arithmetic groups." Journal of Symbolic Logic 50, no. 3 (1985): 743–72. http://dx.doi.org/10.2307/2274327.

Full text

Abstract:

This paper is a continuation of our previous work in [12]. The results, and some applications, have been described in the announcement [13]; it may be useful to discuss here, a little more fully, the nature and purpose of this work.We are concerned basically with three kinds of algorithmic problem: (1) isomorphism problems, (2) “orbit problems”, and (3) “effective generation”.(1) Isomorphism problems. Here we have a class of algebraic objects of some kind, and ask: is there a uniform algorithm for deciding whether two arbitrary members of are isomorphic? In most cases, the answer is no: no suc

APA, Harvard, Vancouver, ISO, and other styles

21

KNIGHT, SOPHIA, BASTIEN MAUBERT, and FRANÇOIS SCHWARZENTRUBER. "Reasoning about knowledge and messages in asynchronous multi-agent systems." Mathematical Structures in Computer Science 29, no. 1 (2017): 127–68. http://dx.doi.org/10.1017/s0960129517000214.

Full text

Abstract:

We propose a variant of public announcement logic for asynchronous systems. To capture asynchrony, we introduce two different modal operators for sending and receiving messages. The natural approach to defining the semantics leads to a circular definition, but we describe two restricted cases in which we solve this problem. The first case requires the Kripke model representing the initial epistemic situation to be a finite tree, and the second one only allows announcements from the existential fragment. After establishing some validities, we study the model checking problem and the satisfiabil

APA, Harvard, Vancouver, ISO, and other styles

22

Spennemann, Dirk H. R. "ChatGPT and the Generation of Digitally Born “Knowledge”: How Does a Generative AI Language Model Interpret Cultural Heritage Values?" Knowledge 3, no. 3 (2023): 480–512. http://dx.doi.org/10.3390/knowledge3030032.

Full text

Abstract:

The public release of ChatGPT, a generative artificial intelligence language model, caused wide-spread public interest in its abilities but also concern about the implications of the application on academia, depending on whether it was deemed benevolent (e.g., supporting analysis and simplification of tasks) or malevolent (e.g., assignment writing and academic misconduct). While ChatGPT has been shown to provide answers of sufficient quality to pass some university exams, its capacity to write essays that require an exploration of value concepts is unknown. This paper presents the results of a

APA, Harvard, Vancouver, ISO, and other styles

23

Kłos, Paweł. "Decision-Making Approach in the Process of Mediation." Studia Iuridica Lublinensia 32, no. 4 (2023): 47–70. http://dx.doi.org/10.17951/sil.2023.32.4.47-70.

Full text

Abstract:

Mediation is a legal institution used in international, supranational, and state disputes. A wide range of legal cases in disputes arise include economic, civil, labour or family matters and it is not a closed catalogue. Mediation can be seen as a set of decision-making processes, of which the mediator’s decision-making process is essential for the outcome of mediation. I propose a study to be carried out on the institution of mediation using a decision-making approach in the light of an interdisciplinary review of the results of research that may be relevant to the project, for example from t

APA, Harvard, Vancouver, ISO, and other styles

24

Da Costa Nunes, Erik Henrique, Junior Cezar Bezerra de Oliveira, Laura Maria de Queiroz Melo, Carlos Eduardo A. Feitosa, and Ingrid Teixeira Monteiro. "Democracy out-of-the-box: analysis of compliance with constitutional principles in tax policies that use Artificial Intelligence." Journal on Interactive Systems 15, no. 1 (2024): 333–48. http://dx.doi.org/10.5753/jis.2024.3879.

Full text

Abstract:

The Democratic State of Law emerged with the objective of improving everyone’s life, restricting the power of tyrants, who, among other arbitrary acts, unfairly taxed the people. While taxes remain crucial for the State’s upkeep, modern rules prevent individuals from enduring excessive burdens. Although new technologies leveraging Artificial Intelligence (AI) hold the promise of enhancing lives, the extent of this improvement raises questions. This study delves into the relationship between individuals and the State, specifically exploring the use of AI in tax-related scenarios. Conducting a c

APA, Harvard, Vancouver, ISO, and other styles

25

Serrano Maíllo, Isabel. "El derecho a la libertad de expresión en la jurisprudencia del Tribunal Europeo de Derecho Humanos : dos casos españoles." Teoría y Realidad Constitucional, no. 28 (June 1, 2011): 579. http://dx.doi.org/10.5944/trc.28.2011.6973.

Full text

Abstract:

Freedom of speech is in every of its manifestations one the most important rights of human beings. That explains why it is considered as a preferred freedom, and granted protection against any kind of arbitrary interference on the part of public authorities. This concept, that we fully share, infuses the European Court jurisprudence, and it is supposed to permeate any case that comes under its consideration. The judgment in José Luis Gutiérrez v. Spain was a good example in that sense; but the ruling in Otegui v. Spain did not meet the logical expectations. In our opinion, the Court should hav

APA, Harvard, Vancouver, ISO, and other styles

26

Hurley, John S. "Quantifying Decision Making in the Critical Infrastructure via the Analytic Hierarchy Process (AHP)." International Journal of Cyber Warfare and Terrorism 7, no. 4 (2017): 23–34. http://dx.doi.org/10.4018/ijcwt.2017100103.

Full text

Abstract:

In this paper, we examine the benefits of a more quantifiable way to make decisions that enable senior leaders to better manage disruption of and attacks on the critical infrastructure. Most of the decisions have been made using intuition and in some cases unrelated experiences and have not particularly worked to the benefit of the sectors' performance and stability. Much of this is due to the history of the logic control systems and networks that were fairly isolated and much better protected. Attempts to reduce costs and secure many of the benefits of IP-based environments have unfortunately

APA, Harvard, Vancouver, ISO, and other styles

27

Wulandari, Suhani. "Indicators Of Land Rights Certificate Cancellation Caused By Overlapping Rights As Administration Failure." Administrative and Environmental Law Review 1, no. 2 (2020): 113. http://dx.doi.org/10.25041/aelr.v1i2.2149.

Full text

Abstract:

Land registration which aims to provide legal certainty for the ownership of a person's land parcel, which is in the form of a certificate of land title, in the issuance of which there may be errors resulting in two certificates or overlapping so that one certificate can be ascertained that it contains administrative defects, in handling the dispute case settlement refers to the Regulation of the Minister of ATR/KaBPN Number 11 of 2016 article 24 paragraph (7).This study aims to determine, land title certificate can be said to be administratively flawed, Implementation of cancellation of land

APA, Harvard, Vancouver, ISO, and other styles

28

Huang, Zhilian, Evonne Tay, Dillon Wee, Huiling Guo, Hannah Yee-Fen Lim, and Angela Chow. "Public Perception of the Use of Digital Contact-Tracing Tools After the COVID-19 Lockdown: Sentiment Analysis and Opinion Mining." JMIR Formative Research 6, no. 3 (2022): e33314. http://dx.doi.org/10.2196/33314.

Full text

Abstract:

Background Singapore’s national digital contact-tracing (DCT) tool—TraceTogether—attained an above 70% uptake by December 2020 after a slew of measures. Sentiment analysis can help policymakers to assess public sentiments on the implementation of new policy measures in a short time, but there is a paucity of sentiment analysis studies on the usage of DCT tools. Objective We sought to understand the public’s knowledge of, concerns with, and sentiments on the use of TraceTogether over time and their preferences for the type of TraceTogether tool. Methods We conducted a cross-sectional survey at

APA, Harvard, Vancouver, ISO, and other styles

29

Dkhissi, Atman, and Zakaria EZ-Zarzari. "La discipline budgétaire au Maroc et le piège de l'équilibre bas." International Journal of Accounting, Finance, Auditing, Management and Economics 2, no. 2 (2021): 163–78. https://doi.org/10.5281/zenodo.4641511.

Full text

Abstract:

Le recours aux effets de seuil dans la mise en place de la politique budgétaire s’inscrit dans une logique d’évaluation des politiques économiques et sociales. La présence d’effets de seuil suggère la coexistence de différents régimes budgétaires conditionnels au déficit budgétaire et à l’endettement public. La discipline budgétaire imposée aux finances publiques marocaines depuis les années 1980, risque d’être contreproductive et nuisible à la croissance

APA, Harvard, Vancouver, ISO, and other styles

30

Travica, Bob. "COVID 19 conspiracy theories in Canada: Evidence, verification, and implications for decision making." Journal of Economics and Management 44 (2022): 236–65. http://dx.doi.org/10.22367/jem.2022.44.10.

Full text

Abstract:

Aim/purpose – The COVID-19 pandemic generated a new communication universe with numerous actors, including conspiracy theory (CT) promoters who spread skepti- cism about the authenticity of the pandemic and the necessity of health emergency regu- lations. This study explores the dissemination of COVID-19 conspiracy theories in Canada to create a model for verifying conspiracy theories, especially in the context of decision making. Design/methodology/approach – The study was transdisciplinary and it was composed of an empirical and a conceptual part. The first part used analysis of websites and

APA, Harvard, Vancouver, ISO, and other styles

31

Baltag, Alexandru, Aybüke Özgün, and Ana Lucia Vargas Sandoval. "Arbitrary Public Announcement Logic with Memory." Journal of Philosophical Logic, July 20, 2022. http://dx.doi.org/10.1007/s10992-022-09664-6.

Full text

Abstract:

AbstractWe introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a ‘memory’ of the initial states, representing the information before any communication took place (“the prior”), and adding to the syntax operators that can access this memory. We show that APALM is recursively axiomatizable (in contrast to the original Arbitrary Public Announcement Logic, for which the corresponding question is still open). We present a complete recursive axiomatization, that includes a natural finitary rule, and study this logic’s expressivity and the appropriate n

APA, Harvard, Vancouver, ISO, and other styles

32

van Ditmarsch, Hans, and Tim French. "Quantifying over Boolean announcements." Logical Methods in Computer Science Volume 18, Issue 1 (January 21, 2022). http://dx.doi.org/10.46298/lmcs-18(1:20)2022.

Full text

Abstract:

Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct Box phi intuitively expressing that "after every public announcement of a formula, formula phi is true". The logic APAL is undecidable and it has an infinitary axiomatization. Now consider restricting the APAL quantification to public announcements of Boolean formulas only, such that Box phi intuitively expresses that "after every public announcement of a Boolean formul

APA, Harvard, Vancouver, ISO, and other styles

33

Ågotnes, Thomas, and Rustam Galimullin. "Quantifying over information change with common knowledge." Autonomous Agents and Multi-Agent Systems 37, no. 1 (2023). http://dx.doi.org/10.1007/s10458-023-09601-0.

Full text

Abstract:

AbstractPublic announcement logic (PAL) extends multi-agent epistemic logic with dynamic operators modelling the effects of public communication. Allowing quantification over public announcements lets us reason about the existence of an announcement that reaches a certain epistemic goal. Two notable examples of logics of quantified announcements are arbitrary public announcement logic (APAL) and group announcement logic (GAL). While the notion of common knowledge plays an important role in PAL, and in particular in characterisations of epistemic states that an agent or a group of agents might

APA, Harvard, Vancouver, ISO, and other styles

34

Liu, Mo, Jie Fan, Hans Van Ditmarsch, and Louwe B. Kuijer. "Logics for Knowability." Logic and Logical Philosophy, December 8, 2021, 1–42. http://dx.doi.org/10.12775/llp.2021.018.

Full text

Abstract:

In this paper, we propose three knowability logics LK, LK−, and LK=. In the single-agent case, LK is equally expressive as arbitrary public announcement logic APAL and public announcement logic PAL, whereas in the multi-agent case, LK is more expressive than PAL. In contrast, both LK− and LK= are equally expressive as classical propositional logic PL. We present the axiomatizations of the three knowability logics and show their soundness and completeness. We show that all three knowability logics possess the properties of Church-Rosser and McKinsey. Although LK is undecidable when at least thr

APA, Harvard, Vancouver, ISO, and other styles

35

van Ditmarsch, Hans, Mo Liu, Louwe B. Kuijer, and Igor Sedlar. "Almost APAL." Journal of Logic and Computation, March 11, 2022. http://dx.doi.org/10.1093/logcom/exac012.

Full text

Abstract:

Abstract Arbitrary public announcement logic (APAL) is a logic of change of knowledge with modalities representing quantification over announcements. We present two rather different versions of APAL wherein this quantification is restricted to formulas only containing a subset of all propositional variables: SAPAL and SCAPAL. Such restrictions are relevant in principle for the specification of multi-agent system dynamics. We also present another version of APAL, quantifying over all announcements implied by or implying a given formula: IPAL. We then determine the relative expressivity of all t

APA, Harvard, Vancouver, ISO, and other styles

36

Galimullin, Rustam, and Fernando R. Velázquez-Quesada. "Topic-Based Communication Between Agents." Studia Logica, August 31, 2024. http://dx.doi.org/10.1007/s11225-024-10119-z.

Full text

Abstract:

AbstractCommunication within groups of agents has been lately the focus of research in dynamic epistemic logic. This paper studies a recently introduced form of partial (more precisely, topic-based) communication. This type of communication allows for modelling scenarios of multi-agent collaboration and negotiation, and it is particularly well-suited for situations in which sharing all information is not feasible/advisable. The paper can be divided into two parts. In the first part, we present results on invariance and complexity of model checking. Moreover, we compare partial communication wi

APA, Harvard, Vancouver, ISO, and other styles

37

Murai, Ryo, and Katsuhiko Sano. "Intuitionistic Public Announcement Logic with Distributed Knowledge." Studia Logica, September 15, 2023. http://dx.doi.org/10.1007/s11225-023-10066-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

From, Asta Halkjær. "Formalized soundness and completeness of epistemic and public announcement logic." Journal of Logic and Computation, September 25, 2024. http://dx.doi.org/10.1093/logcom/exae054.

Full text

Abstract:

Abstract I strengthen the foundations of epistemic logic by formalizing the family of normal modal logics in the proof assistant Isabelle/HOL. I define an abstract canonical model over any set of axioms and formalize completeness-via-canonicity: when the canonical model for the chosen axioms belongs to a certain class of frames, strong completeness over that class follows immediately. I instantiate the result with logics based on various epistemic principles to obtain completeness results for systems from K to S5. I then move to a family of public announcement logics (PAL) and prove abstract r

APA, Harvard, Vancouver, ISO, and other styles

39

van Ditmarsch, Hans, Didier Galmiche, and Marta Gawek. "An Epistemic Separation Logic with Action Models." Journal of Logic, Language and Information, August 10, 2022. http://dx.doi.org/10.1007/s10849-022-09372-z.

Full text

Abstract:

AbstractIn this paper we present an extension of (bunched) separation logic, Boolean BI, with epistemic and dynamic epistemic modalities. This logic, called action model separation logic ($$\mathrm {AMSL}$$ AMSL ), can be seen as a generalization of public announcement separation logic in which we replace public announcements with action models. Then we not only model public information change (public announcements) but also non-public forms of information change, such as private announcements. In this context the semantics for the connectives $$*$$ ∗ and $$\mathrel {-*}$$ - ∗ from separation

APA, Harvard, Vancouver, ISO, and other styles

40

Mai, Jonathan. "Realizing impossibilities." Synthese 203, no. 1 (2023). http://dx.doi.org/10.1007/s11229-023-04422-w.

Full text

Abstract:

AbstractIt is common in epistemic modal logic to model the epistemic states of agents via box operators in the normal logic S5. However, this approach treats agents as logically omniscient by requiring their knowledge to be closed under classical logical consequence. A promising way of avoiding logical omniscience consists in extending epistemic models with impossible states, that is states, where complex formulas are not evaluated recursively. However, this approach faces the dual problem of logical ignorance by modeling agents as not even minimally logically competent. In this paper I will o

APA, Harvard, Vancouver, ISO, and other styles

41

Alechina, Natasha, Hans van Ditmarsch, Tim French, and Rustam Galimullin. "The Expressivity of Quantified Group Announcements." Journal of Logic and Computation, November 24, 2022. http://dx.doi.org/10.1093/logcom/exac082.

Full text

Abstract:

Abstract Group announcement logic (GAL) and coalition announcement logic (CAL) allow us to reason about whether it is possible for groups and coalitions of agents to achieve their desired epistemic goals through truthful public communication. The difference between groups and coalitions in such a context is that the latter make their announcements in the presence of possible adversarial counter-announcements. As epistemic goals may involve some agents remaining ignorant, counter-announcements may preclude coalitions from reaching their goals. We study the relative expressivity of GAL and CAL a

APA, Harvard, Vancouver, ISO, and other styles

42

Charles Raphael, CRN,. "Applauding or Criticising the Announcement of the Best School and Student in the National Examination: Which Way to Go?" JOURNAL OF ISSUES AND PRACTICE IN EDUCATION 16 (January 28, 2024). http://dx.doi.org/10.61538/jipe.v16i.1429.

Full text

Abstract:

On 29th January 2023, the National Examination Council of Tanzania (NECTA) stopped announcing the best-performing schools and students. The announcement drew mixed reactions (some applauding or criticising) among education stakeholders. Using a descriptive survey design, this quantitative study specifically identified reasons for the applause or criticism; compared statistically the identified reasons; and the private and public education stakeholders on the announcement. The questionnaires were used to collect data from 500 stakeholders who were selected through a multi-stage sampling techniq

APA, Harvard, Vancouver, ISO, and other styles

43

FernÁndez GonzÁlez, SaÚl. "Change in social networks: Some dynamic extensions of Social Epistemic Logic." Journal of Logic and Computation, March 18, 2022. http://dx.doi.org/10.1093/logcom/exac024.

Full text

Abstract:

Abstract We propose dynamic extensions to the framework of Social Epistemic Logic introduced in Logic in the Community (Seligman et al., pp. 178–188, 2011). One of them introduces a notion of a semi-public announcement made by an aware agent and only transmitted to this agent’s social connections. Another extension along the epistemic dimension of the framework contains separate ‘sending’ and ‘reading’ modalities that allow for a more realistic asynchronous spreading of messages in a social network. Finally, we briefly discuss an extension along the ‘social’ dimension of the framework, which i

APA, Harvard, Vancouver, ISO, and other styles

44

Hoseinpour Dehkordi, Amirhoshang, Majid Alizadeh, and Ali Movaghar. "Linear Temporal Public Announcement Logic: A New Perspective for Reasoning About the Knowledge of Multi-classifiers." Bulletin of the Iranian Mathematical Society 49, no. 2 (2023). http://dx.doi.org/10.1007/s41980-023-00757-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Pedersen, Michael David. "Logics for The Applied pi Calculus." BRICS Report Series 13, no. 19 (2006). http://dx.doi.org/10.7146/brics.v13i19.21923.

Full text

Abstract:

In this master's thesis we present a modal logic for Applied pi which characterises observational equivalence on processes. The motivation is similar to that of Applied pi itself, namely generality: the logic can be adapted to a particular application simply by defining a suitable equational theory on terms.<br /> <br />As a first step towards the logic for Applied pi, a strong version of static equivalence on frames is introduced in which term reductions are observable in addition to equality on terms. We argue that the strong version is meaningful in applications and give two ref

APA, Harvard, Vancouver, ISO, and other styles

46

GALSTYAN, Hamazasp. "Հասարակական տրանսպորտի բարեփոխումների ծրագիր. Երևանի հետաձգված երազանքը / PUBLIC TRANSPORT REFORM PROGRAM: YEREVAN'S DEFERRED DREAM". AMBERD BULLETIN, 2024, 52–62. https://doi.org/10.52174/2579-2989_2024.4-52.

Full text

Abstract:

In the context of developing a human-centered and modern city, the implementation of comprehensive public transport reforms in Yerevan, remains a priority task. Despite the announcement of this ambitious project back in 2017, its practical execution requires urgent solutions from the city government. In other words, we can state that this process is being unnecessarily and illogically delayed; it has already entered its eighth year, yet the final result is still not visible. Where have we failed? Why is it still impossible to provide safe and decent transport services to Yerevan’s residents an

APA, Harvard, Vancouver, ISO, and other styles

47

Lucia, Brent, Matthew A. Vetter, and Isaac Kwabena Adubofour. "Behold the metaverse: Facebook’s Meta imaginary and the circulation of elite discourse." New Media & Society, July 10, 2023. http://dx.doi.org/10.1177/14614448231184249.

Full text

Abstract:

Despite pushback from regulatory and non-governmental entities, Meta’s control over the public narrative remains consistent. Using a method of corpus analysis, this study investigated the company’s sociotechnical imaginary as it circulates in media artifacts (428) responding to Zuckerberg’s 2021 Metaverse announcement. Analysis of how these artifacts respond to issues related to identity, security, and connectivity revealed that the majority amplify Meta’s corporate messaging, empowering its elite discourse and solidifying its socio-technological power. As it relates to user privacy, however,

APA, Harvard, Vancouver, ISO, and other styles

48

Maier, Donald S. "Chasing Biodiversity Off the Scientific and Conservation Tracks." Philosophy, Theory, and Practice in Biology 15 (May 22, 2023). http://dx.doi.org/10.3998/ptpbio.4337.

Full text

Abstract:

The idea of conserving biodiversity has become central to the very meaning of biological conservation---in the public imagination and for conservation organizations worldwide. Identification of conservation with biodiversity conservation owes extensively to the idea that warrant for biodiversity's conservation is anchored in the empirical thesis that biodiversity causally determines ecosystem functioning, and thereby, somehow, important ecosystem services. This idea has fueled an enormous research program dedicated to producing the requisite causal evidence. This essay first reviews the data t

APA, Harvard, Vancouver, ISO, and other styles

49

Said, Zahr K. "Fables of scarcity in IP." Frontiers in Research Metrics and Analytics 7 (March 7, 2023). http://dx.doi.org/10.3389/frma.2022.974154.

Full text

Abstract:

In this chapter, I use methods drawn from literary analysis to bear on artificial scarcity and explore how literary and legal storytelling engages in scarcity mongering. I find three particular narrative strategies calculated to compel a conclusion in favor of propertization: the spectacle of need, the diversionary tactic, and the rallying cry. First, I unpack the spectacle of need and its diversionary aspects through several literary accounts of scarcity and starvation. I juxtapose Franz Kafka's “A Hunger Artist,” a story explicitly centered on a wasting body, with J.M. Coetzee's The Life and

APA, Harvard, Vancouver, ISO, and other styles

50

Holzheimer, René Gordon, and Detlef Ballhorn. "Taking Into Care - In The Child's Best Interest? The German Youth Welfare Office is under criticism from the European Parliament." International Journal of Family Medicine & Healthcare 2, no. 2 (2023). http://dx.doi.org/10.33425/2833-0382.1015.

Full text

Abstract:

Introduction: The number of children taken into care by German youth welfare offices has been increasing for years as a result of changes in the law according to publicly known endangerments to child welfare. Due to an increase in petitions from non-German parents to the European Parliament's Petitions Committee against administrative acts that they felt to be arbitrary (e.g. taking into care), the European Parliament repeatedly (2007, 2018, 2022, 2023) dealt with the processes in the German Youth Welfare Office. Material and Methods: Compilation of the documents of the Petitions Committee of

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!