A Runs−and−Systems Semantics for Logics of Announcement

A Runs−and−Systems Semantics for Logics of Announcement

Logics of announcements are logics of knowledge to reason about agents that communicate by broadcasting interpreted messages. These logics are typically given a semantics in terms of updatable Kripke structures, which tend to be abstract. We revisit the semantics of logics of announcements and devel...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Pucella, R, Sadrzadeh, M
Format:	Journal article
Udgivet:	2009

Lignende værker

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
af: Ma, M, et al.
Udgivet: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
af: Sadrzadeh, M, et al.
Udgivet: (2011)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
af: Sadrzadeh, M, et al.
Udgivet: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
af: Sadrzadeh, M, et al.
Udgivet: (2009)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
af: Sadrzadeh, M, et al.
Udgivet: (2010)

Coalition and Group Announcement Logic
af: Rustam Galimullin, et al.
Udgivet: (2017-07-01)

A Logic for Global and Local Announcements
af: Francesco Belardinelli, et al.
Udgivet: (2017-07-01)

Information system of semantic search of the image to the text of advertising announcement
af: N. G. Shvets
Udgivet: (2019-12-01)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
af: Sadrzadeh, M
Udgivet: (2003)

Modeling Adversaries in a Logic for Security Protocol Analysis
af: Joseph Y. Halpern, et al.
Udgivet: (2012-03-01)

Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
af: Muhammad Farhan Mohd Nasir, et al.
Udgivet: (2020-04-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
af: Dyckhoff, R, et al.
Udgivet: (2010)

Quantifier Scope in Categorical Compositional Distributional Semantics
af: Mehrnoosh Sadrzadeh
Udgivet: (2016-08-01)

Logic, semantics, ontology
af: Heck, Richard Gustave
Udgivet: (2009)

An Epistemic Foundation for Authentication Logics (Extended Abstract)
af: Joseph Y. Halpern, et al.
Udgivet: (2017-07-01)

Modular games for coalgebraic fixed point logics
af: Cîrstea, C, et al.
Udgivet: (2008)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
af: Cirstea, C, et al.
Udgivet: (2006)

Classical mathematical logic : the semantic foundations of logic /
af: Epstein, Richard L., 1947-
Udgivet: (2006)

Learning in a Changing World: an algebraic modal logical approach
af: Panagaden, P, et al.
Udgivet: (2010)

Reasoning about Knowledge in Linear Logic: Modalities and Complexity
af: Marion, M, et al.
Udgivet: (2004)

Bluetooth announcement system /
af: 445444 Yeo, Tze Chung
Udgivet: (2009)

A Trace Semantics for Long−Running Transactions
af: Butler, M, et al.
Udgivet: (2004)

Well−Founded Semantics for Description Logic Programs in the Semantic Web
af: Eiter, T, et al.
Udgivet: (2004)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
af: Eiter, T, et al.
Udgivet: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
af: Eiter, T, et al.
Udgivet: (2011)

Announcements
af: Torbjørn Ekrem, et al.
Udgivet: (2013-12-01)

Semantic Vector Space and Functional Models for Pregroup Grammars
af: Preller, A, et al.
Udgivet: (2011)

Semantic Vector Models and Functional Models for Pregroup Grammars.
af: Preller, A, et al.
Udgivet: (2011)

From the history of logic. Semantics of homonymy in Porphyry’s logic
af: Garin Sergey Vyacheslavovich
Udgivet: (2016-10-01)

Semantical Considerations on Floyd-Hoare Logic
af: Pratt, Vaughan R.
Udgivet: (2023)

Floyd-Hoare Logic Defines Semantics
af: Meyer, Albert R.
Udgivet: (2023)

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
af: Malvin Gattinger, et al.
Udgivet: (2019-07-01)

Fuzzy logic and the semantic web /
af: Sanchez, Elie, 1944-
Udgivet: (2006)

Combined Distributional and Logical Semantics
af: Mike Lewis, et al.
Udgivet: (2024-07-01)

Bialgebraic Semantics for Logic Programming
af: Filippo Bonchi, et al.
Udgivet: (2015-03-01)

Semantical Considerations on Modal Logic
af: Saul A. Kripke
Udgivet: (2023-04-01)

Logical deviance and semantic competence
af: Timothy Williamson
Udgivet: (2007-04-01)

A Semantics of Compensations for Long−Running Transactions
af: Hoare, C
Udgivet: (2015)

Separating Disambiguation from Composition in Distributional Semantics
af: Kartsaklis, D, et al.
Udgivet: (2013)

A brief introduction logical semantics
af: korosh safavi
Udgivet: (1999-12-01)