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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Sadrzadeh, M, Palmigiano, A, Ma, M
Awduron Eraill:	Ditmarsch, H
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	Springer 2011

Eitemau Tebyg

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

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

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

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

Models for intuitionistic logic
gan: Cuckle, H, et al.
Cyhoeddwyd: (1975)

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

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

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

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

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

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

Vagueness and intuitionistic logic
gan: Rumfitt, I
Cyhoeddwyd: (2020)

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

Copies of Classical Logic in Intuitionistic Logic
gan: Jaime Gaspar
Cyhoeddwyd: (2014-10-01)

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

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

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

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

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

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

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

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
gan: Williamson, T
Cyhoeddwyd: (1992)

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

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

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

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

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

Translations of Intuitionistic Fuzzy B-algebras
gan: Tapan Senapati
Cyhoeddwyd: (2015-12-01)

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

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

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

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

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

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

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

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

Note on the Intuitionistic Logic of False Belief
gan: Tomasz Witczak
Cyhoeddwyd: (2022-03-01)

Admissible Tools in the Kitchen of Intuitionistic Logic
gan: Andrea Condoluci, et al.
Cyhoeddwyd: (2018-10-01)

Proof methods for modal and intuitionistic logics /
gan: Fitting, Melvin, 1942-
Cyhoeddwyd: (1983)

Intuitionistic quantum logic of an n−level system
gan: Caspers, M, et al.
Cyhoeddwyd: (2009)