Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Sadrzadeh, M, Palmigiano, A, Ma, M
Rannpháirtithe:	Ditmarsch, H
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Springer 2011

Míreanna comhchosúla

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
de réir: Ma, M, et al.
Foilsithe / Cruthaithe: (2011)

A Runs−and−Systems Semantics for Logics of Announcement
de réir: Pucella, R, et al.
Foilsithe / Cruthaithe: (2009)

Algebraic axiomatization of tense intuitionistic logic
de réir: Chajda Ivan
Foilsithe / Cruthaithe: (2011-10-01)

A Criticism of Kripke’s Semantic for Intuitionistic Logic
de réir: Wagner de Campos Sanz
Foilsithe / Cruthaithe: (2016-12-01)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
de réir: Simon Docherty, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Models for intuitionistic logic
de réir: Cuckle, H, et al.
Foilsithe / Cruthaithe: (1975)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
de réir: Cirstea, C, et al.
Foilsithe / Cruthaithe: (2006)

Construction of some algebras of logics by using intuitionistic fuzzy filters on hoops
de réir: Mona Aaly Kologani, et al.
Foilsithe / Cruthaithe: (2021-08-01)

Learning in a Changing World: an algebraic modal logical approach
de réir: Panagaden, P, et al.
Foilsithe / Cruthaithe: (2010)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
de réir: Sadrzadeh, M, et al.
Foilsithe / Cruthaithe: (2010)

Philosophical Foundations of Intuitionistic Logic
de réir: L Nabavi, et al.
Foilsithe / Cruthaithe: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
de réir: L Nabavi, et al.
Foilsithe / Cruthaithe: (2013-02-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
de réir: Dyckhoff, R, et al.
Foilsithe / Cruthaithe: (2010)

Vagueness and intuitionistic logic
de réir: Rumfitt, I
Foilsithe / Cruthaithe: (2020)

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
de réir: Alexander V. Gheorghiu, et al.
Foilsithe / Cruthaithe: (2023-06-01)

Copies of Classical Logic in Intuitionistic Logic
de réir: Jaime Gaspar
Foilsithe / Cruthaithe: (2014-10-01)

Intuitionistic logic model theory and forcing /
de réir: Fitting, Melvin, 1942-
Foilsithe / Cruthaithe: (1969)

Completeness classes for intuitionistic first-order temporal logic with time gaps
de réir: Romas Alonderis
Foilsithe / Cruthaithe: (2023-11-01)

Remarks on an algebraic semantics for paraconsistent Nelson's logic
de réir: Manuela Busaniche, et al.
Foilsithe / Cruthaithe: (2011-06-01)

Merging Intuitionistic and De Morgan Logics
de réir: Minghui Ma, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
de réir: Sadrzadeh, M, et al.
Foilsithe / Cruthaithe: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
de réir: Sadrzadeh, M, et al.
Foilsithe / Cruthaithe: (2009)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
de réir: Williamson, T
Foilsithe / Cruthaithe: (1992)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
de réir: Leigh, G, et al.
Foilsithe / Cruthaithe: (2012)

Closure Operations on Intuitionistic Linear Algebras
de réir: Tenkeu Jeufack Y.L., et al.
Foilsithe / Cruthaithe: (2024-09-01)

Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
de réir: Muhammad Farhan Mohd Nasir, et al.
Foilsithe / Cruthaithe: (2020-04-01)

Quantization, Frobenius and Bi Algebras from the Categorical Framework of Quantum Mechanics to Natural Language Semantics
de réir: Mehrnoosh Sadrzadeh
Foilsithe / Cruthaithe: (2017-07-01)

Intuitionistic fuzzy ideals of BCK-algebras
de réir: Young Bae Jun, et al.
Foilsithe / Cruthaithe: (2000-01-01)

On the Lattice of Filters of Intuitionistic Linear Algebras
de réir: Tenkeu Yannick Lea, et al.
Foilsithe / Cruthaithe: (2023-05-01)

Translations of Intuitionistic Fuzzy B-algebras
de réir: Tapan Senapati
Foilsithe / Cruthaithe: (2015-12-01)

Coalition and Group Announcement Logic
de réir: Rustam Galimullin, et al.
Foilsithe / Cruthaithe: (2017-07-01)

Should the logic of set theory be intuitionistic?
de réir: Paseau, A
Foilsithe / Cruthaithe: (2001)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
de réir: Dyckhoff, R, et al.
Foilsithe / Cruthaithe: (2012)

A sound and complete logic for algebraic effects
de réir: Staton, S, et al.
Foilsithe / Cruthaithe: (2019)

Epistemic Updates on Algebras
de réir: Alexander A Kurz, et al.
Foilsithe / Cruthaithe: (2013-12-01)

Publikasieaankondigings / Publication Announcements Publikasieaankondigings / Publication Announcements
de réir: Tanja Harteveld
Foilsithe / Cruthaithe: (2012-01-01)

Intuitionistic Implication and Logics of Formal Inconsistency
de réir: Janusz Ciuciura
Foilsithe / Cruthaithe: (2024-10-01)

On Combining Intuitionistic and S4 Modal Logic
de réir: João Rasga, et al.
Foilsithe / Cruthaithe: (2024-06-01)

Functional Interpretations of Intuitionistic Linear Logic
de réir: Gilda Ferreira, et al.
Foilsithe / Cruthaithe: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
de réir: David Fernández-Duque
Foilsithe / Cruthaithe: (2018-07-01)