Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.

Show other versions (1)

In this paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements. We give the dual characterization of the corresponding submodel-injection map, as a certain pseudo-quotient map between the complex algebras respectively associated with...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Sadrzadeh, M, Palmigiano, A, Ma, M
Andre forfattere:	Ditmarsch, H
Format:	Journal article
Sprog:	English
Udgivet:	Springer 2011

Lignende værker

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

A Runs−and−Systems Semantics for Logics of Announcement
af: Pucella, R, et al.
Udgivet: (2009)

Algebraic axiomatization of tense intuitionistic logic
af: Chajda Ivan
Udgivet: (2011-10-01)

A Criticism of Kripke’s Semantic for Intuitionistic Logic
af: Wagner de Campos Sanz
Udgivet: (2016-12-01)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
af: Simon Docherty, et al.
Udgivet: (2018-10-01)

Models for intuitionistic logic
af: Cuckle, H, et al.
Udgivet: (1975)

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

Construction of some algebras of logics by using intuitionistic fuzzy filters on hoops
af: Mona Aaly Kologani, et al.
Udgivet: (2021-08-01)

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

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

Philosophical Foundations of Intuitionistic Logic
af: L Nabavi, et al.
Udgivet: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
af: L Nabavi, et al.
Udgivet: (2013-02-01)

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

Vagueness and intuitionistic logic
af: Rumfitt, I
Udgivet: (2020)

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
af: Alexander V. Gheorghiu, et al.
Udgivet: (2023-06-01)

Copies of Classical Logic in Intuitionistic Logic
af: Jaime Gaspar
Udgivet: (2014-10-01)

Intuitionistic logic model theory and forcing /
af: Fitting, Melvin, 1942-
Udgivet: (1969)

Completeness classes for intuitionistic first-order temporal logic with time gaps
af: Romas Alonderis
Udgivet: (2023-11-01)

Remarks on an algebraic semantics for paraconsistent Nelson's logic
af: Manuela Busaniche, et al.
Udgivet: (2011-06-01)

Merging Intuitionistic and De Morgan Logics
af: Minghui Ma, et al.
Udgivet: (2024-01-01)

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)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
af: Williamson, T
Udgivet: (1992)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
af: Leigh, G, et al.
Udgivet: (2012)

Closure Operations on Intuitionistic Linear Algebras
af: Tenkeu Jeufack Y.L., et al.
Udgivet: (2024-09-01)

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

Quantization, Frobenius and Bi Algebras from the Categorical Framework of Quantum Mechanics to Natural Language Semantics
af: Mehrnoosh Sadrzadeh
Udgivet: (2017-07-01)

Intuitionistic fuzzy ideals of BCK-algebras
af: Young Bae Jun, et al.
Udgivet: (2000-01-01)

On the Lattice of Filters of Intuitionistic Linear Algebras
af: Tenkeu Yannick Lea, et al.
Udgivet: (2023-05-01)

Translations of Intuitionistic Fuzzy B-algebras
af: Tapan Senapati
Udgivet: (2015-12-01)

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

Should the logic of set theory be intuitionistic?
af: Paseau, A
Udgivet: (2001)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
af: Dyckhoff, R, et al.
Udgivet: (2012)

A sound and complete logic for algebraic effects
af: Staton, S, et al.
Udgivet: (2019)

Epistemic Updates on Algebras
af: Alexander A Kurz, et al.
Udgivet: (2013-12-01)

Publikasieaankondigings / Publication Announcements Publikasieaankondigings / Publication Announcements
af: Tanja Harteveld
Udgivet: (2012-01-01)

Intuitionistic Implication and Logics of Formal Inconsistency
af: Janusz Ciuciura
Udgivet: (2024-10-01)

On Combining Intuitionistic and S4 Modal Logic
af: João Rasga, et al.
Udgivet: (2024-06-01)

Functional Interpretations of Intuitionistic Linear Logic
af: Gilda Ferreira, et al.
Udgivet: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
af: David Fernández-Duque
Udgivet: (2018-07-01)