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

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Pucella, R, Sadrzadeh, M
Format:	Journal article
Wydane:	2009

Podobne zapisy

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
od: Ma, M, i wsp.
Wydane: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
od: Sadrzadeh, M, i wsp.
Wydane: (2011)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
od: Sadrzadeh, M, i wsp.
Wydane: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
od: Sadrzadeh, M, i wsp.
Wydane: (2009)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
od: Sadrzadeh, M, i wsp.
Wydane: (2010)

Coalition and Group Announcement Logic
od: Rustam Galimullin, i wsp.
Wydane: (2017-07-01)

A Logic for Global and Local Announcements
od: Francesco Belardinelli, i wsp.
Wydane: (2017-07-01)

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

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

Modeling Adversaries in a Logic for Security Protocol Analysis
od: Joseph Y. Halpern, i wsp.
Wydane: (2012-03-01)

Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
od: Muhammad Farhan Mohd Nasir, i wsp.
Wydane: (2020-04-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
od: Dyckhoff, R, i wsp.
Wydane: (2010)

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

Logic, semantics, ontology
od: Heck, Richard Gustave
Wydane: (2009)

An Epistemic Foundation for Authentication Logics (Extended Abstract)
od: Joseph Y. Halpern, i wsp.
Wydane: (2017-07-01)

Modular games for coalgebraic fixed point logics
od: Cîrstea, C, i wsp.
Wydane: (2008)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
od: Cirstea, C, i wsp.
Wydane: (2006)

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

Learning in a Changing World: an algebraic modal logical approach
od: Panagaden, P, i wsp.
Wydane: (2010)

Reasoning about Knowledge in Linear Logic: Modalities and Complexity
od: Marion, M, i wsp.
Wydane: (2004)

Bluetooth announcement system /
od: 445444 Yeo, Tze Chung
Wydane: (2009)

A Trace Semantics for Long−Running Transactions
od: Butler, M, i wsp.
Wydane: (2004)

Well−Founded Semantics for Description Logic Programs in the Semantic Web
od: Eiter, T, i wsp.
Wydane: (2004)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
od: Eiter, T, i wsp.
Wydane: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
od: Eiter, T, i wsp.
Wydane: (2011)

Announcements
od: Torbjørn Ekrem, i wsp.
Wydane: (2013-12-01)

Semantic Vector Space and Functional Models for Pregroup Grammars
od: Preller, A, i wsp.
Wydane: (2011)

Semantic Vector Models and Functional Models for Pregroup Grammars.
od: Preller, A, i wsp.
Wydane: (2011)

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

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

Floyd-Hoare Logic Defines Semantics
od: Meyer, Albert R.
Wydane: (2023)

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions
od: Malvin Gattinger, i wsp.
Wydane: (2019-07-01)

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

Combined Distributional and Logical Semantics
od: Mike Lewis, i wsp.
Wydane: (2024-07-01)

Bialgebraic Semantics for Logic Programming
od: Filippo Bonchi, i wsp.
Wydane: (2015-03-01)

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

Logical deviance and semantic competence
od: Timothy Williamson
Wydane: (2007-04-01)

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

Separating Disambiguation from Composition in Distributional Semantics
od: Kartsaklis, D, i wsp.
Wydane: (2013)

A brief introduction logical semantics
od: korosh safavi
Wydane: (1999-12-01)