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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Pucella, R, Sadrzadeh, M
Định dạng:	Journal article
Được phát hành:	2009

Những quyển sách tương tự

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
Bằng: Ma, M, et al.
Được phát hành: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
Bằng: Sadrzadeh, M, et al.
Được phát hành: (2011)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
Bằng: Sadrzadeh, M, et al.
Được phát hành: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Bằng: Sadrzadeh, M, et al.
Được phát hành: (2009)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Bằng: Sadrzadeh, M, et al.
Được phát hành: (2010)

Coalition and Group Announcement Logic
Bằng: Rustam Galimullin, et al.
Được phát hành: (2017-07-01)

A Logic for Global and Local Announcements
Bằng: Francesco Belardinelli, et al.
Được phát hành: (2017-07-01)

Information system of semantic search of the image to the text of advertising announcement
Bằng: N. G. Shvets
Được phát hành: (2019-12-01)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
Bằng: Sadrzadeh, M
Được phát hành: (2003)

Modeling Adversaries in a Logic for Security Protocol Analysis
Bằng: Joseph Y. Halpern, et al.
Được phát hành: (2012-03-01)

Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
Bằng: Muhammad Farhan Mohd Nasir, et al.
Được phát hành: (2020-04-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
Bằng: Dyckhoff, R, et al.
Được phát hành: (2010)

Quantifier Scope in Categorical Compositional Distributional Semantics
Bằng: Mehrnoosh Sadrzadeh
Được phát hành: (2016-08-01)

Logic, semantics, ontology
Bằng: Heck, Richard Gustave
Được phát hành: (2009)

An Epistemic Foundation for Authentication Logics (Extended Abstract)
Bằng: Joseph Y. Halpern, et al.
Được phát hành: (2017-07-01)

Modular games for coalgebraic fixed point logics
Bằng: Cîrstea, C, et al.
Được phát hành: (2008)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Bằng: Cirstea, C, et al.
Được phát hành: (2006)

Classical mathematical logic : the semantic foundations of logic /
Bằng: Epstein, Richard L., 1947-
Được phát hành: (2006)

Learning in a Changing World: an algebraic modal logical approach
Bằng: Panagaden, P, et al.
Được phát hành: (2010)

Reasoning about Knowledge in Linear Logic: Modalities and Complexity
Bằng: Marion, M, et al.
Được phát hành: (2004)

Bluetooth announcement system /
Bằng: 445444 Yeo, Tze Chung
Được phát hành: (2009)

A Trace Semantics for Long−Running Transactions
Bằng: Butler, M, et al.
Được phát hành: (2004)

Well−Founded Semantics for Description Logic Programs in the Semantic Web
Bằng: Eiter, T, et al.
Được phát hành: (2004)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
Bằng: Eiter, T, et al.
Được phát hành: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
Bằng: Eiter, T, et al.
Được phát hành: (2011)

Announcements
Bằng: Torbjørn Ekrem, et al.
Được phát hành: (2013-12-01)

Semantic Vector Space and Functional Models for Pregroup Grammars
Bằng: Preller, A, et al.
Được phát hành: (2011)

Semantic Vector Models and Functional Models for Pregroup Grammars.
Bằng: Preller, A, et al.
Được phát hành: (2011)

From the history of logic. Semantics of homonymy in Porphyry’s logic
Bằng: Garin Sergey Vyacheslavovich
Được phát hành: (2016-10-01)

Semantical Considerations on Floyd-Hoare Logic
Bằng: Pratt, Vaughan R.
Được phát hành: (2023)

Floyd-Hoare Logic Defines Semantics
Bằng: Meyer, Albert R.
Được phát hành: (2023)

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
Bằng: Malvin Gattinger, et al.
Được phát hành: (2019-07-01)

Fuzzy logic and the semantic web /
Bằng: Sanchez, Elie, 1944-
Được phát hành: (2006)

Combined Distributional and Logical Semantics
Bằng: Mike Lewis, et al.
Được phát hành: (2024-07-01)

Bialgebraic Semantics for Logic Programming
Bằng: Filippo Bonchi, et al.
Được phát hành: (2015-03-01)

Semantical Considerations on Modal Logic
Bằng: Saul A. Kripke
Được phát hành: (2023-04-01)

Logical deviance and semantic competence
Bằng: Timothy Williamson
Được phát hành: (2007-04-01)

A Semantics of Compensations for Long−Running Transactions
Bằng: Hoare, C
Được phát hành: (2015)

Separating Disambiguation from Composition in Distributional Semantics
Bằng: Kartsaklis, D, et al.
Được phát hành: (2013)

A brief introduction logical semantics
Bằng: korosh safavi
Được phát hành: (1999-12-01)