Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.

अन्य संस्करण दिखाएं (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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Sadrzadeh, M, Palmigiano, A, Ma, M
अन्य लेखक:	Ditmarsch, H
स्वरूप:	Journal article
भाषा:	English
प्रकाशित:	Springer 2011

समान संसाधन

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
द्वारा: Ma, M, और अन्य
प्रकाशित: (2011)

A Runs−and−Systems Semantics for Logics of Announcement
द्वारा: Pucella, R, और अन्य
प्रकाशित: (2009)

Algebraic axiomatization of tense intuitionistic logic
द्वारा: Chajda Ivan
प्रकाशित: (2011-10-01)

A Criticism of Kripke’s Semantic for Intuitionistic Logic
द्वारा: Wagner de Campos Sanz
प्रकाशित: (2016-12-01)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
द्वारा: Simon Docherty, और अन्य
प्रकाशित: (2018-10-01)

Models for intuitionistic logic
द्वारा: Cuckle, H, और अन्य
प्रकाशित: (1975)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
द्वारा: Cirstea, C, और अन्य
प्रकाशित: (2006)

Construction of some algebras of logics by using intuitionistic fuzzy filters on hoops
द्वारा: Mona Aaly Kologani, और अन्य
प्रकाशित: (2021-08-01)

Learning in a Changing World: an algebraic modal logical approach
द्वारा: Panagaden, P, और अन्य
प्रकाशित: (2010)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
द्वारा: Sadrzadeh, M, और अन्य
प्रकाशित: (2010)

Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
द्वारा: Katsuhiko Sano, और अन्य
प्रकाशित: (2017-03-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
द्वारा: Dyckhoff, R, और अन्य
प्रकाशित: (2010)

Philosophical Foundations of Intuitionistic Logic
द्वारा: L Nabavi, और अन्य
प्रकाशित: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
द्वारा: L Nabavi, और अन्य
प्रकाशित: (2013-02-01)

Vagueness and intuitionistic logic
द्वारा: Rumfitt, I
प्रकाशित: (2020)

Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
द्वारा: Alexander V. Gheorghiu, और अन्य
प्रकाशित: (2023-06-01)

Copies of Classical Logic in Intuitionistic Logic
द्वारा: Jaime Gaspar
प्रकाशित: (2014-10-01)

Intuitionistic logic model theory and forcing /
द्वारा: Fitting, Melvin, 1942-
प्रकाशित: (1969)

Completeness classes for intuitionistic first-order temporal logic with time gaps
द्वारा: Romas Alonderis
प्रकाशित: (2023-11-01)

Remarks on an algebraic semantics for paraconsistent Nelson's logic
द्वारा: Manuela Busaniche, और अन्य
प्रकाशित: (2011-06-01)

Merging Intuitionistic and De Morgan Logics
द्वारा: Minghui Ma, और अन्य
प्रकाशित: (2024-01-01)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
द्वारा: Sadrzadeh, M, और अन्य
प्रकाशित: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
द्वारा: Sadrzadeh, M, और अन्य
प्रकाशित: (2009)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
द्वारा: Williamson, T
प्रकाशित: (1992)

Closure Operations on Intuitionistic Linear Algebras
द्वारा: Tenkeu Jeufack Y.L., और अन्य
प्रकाशित: (2024-09-01)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
द्वारा: Leigh, G, और अन्य
प्रकाशित: (2012)

Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
द्वारा: Muhammad Farhan Mohd Nasir, और अन्य
प्रकाशित: (2020-04-01)

Quantization, Frobenius and Bi Algebras from the Categorical Framework of Quantum Mechanics to Natural Language Semantics
द्वारा: Mehrnoosh Sadrzadeh
प्रकाशित: (2017-07-01)

Intuitionistic fuzzy ideals of BCK-algebras
द्वारा: Young Bae Jun, और अन्य
प्रकाशित: (2000-01-01)

On the Lattice of Filters of Intuitionistic Linear Algebras
द्वारा: Tenkeu Yannick Lea, और अन्य
प्रकाशित: (2023-05-01)

Translations of Intuitionistic Fuzzy B-algebras
द्वारा: Tapan Senapati
प्रकाशित: (2015-12-01)

Should the logic of set theory be intuitionistic?
द्वारा: Paseau, A
प्रकाशित: (2001)

Coalition and Group Announcement Logic
द्वारा: Rustam Galimullin, और अन्य
प्रकाशित: (2017-07-01)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
द्वारा: Dyckhoff, R, और अन्य
प्रकाशित: (2012)

A sound and complete logic for algebraic effects
द्वारा: Staton, S, और अन्य
प्रकाशित: (2019)

Intuitionistic Implication and Logics of Formal Inconsistency
द्वारा: Janusz Ciuciura
प्रकाशित: (2024-10-01)

On Combining Intuitionistic and S4 Modal Logic
द्वारा: João Rasga, और अन्य
प्रकाशित: (2024-06-01)

Functional Interpretations of Intuitionistic Linear Logic
द्वारा: Gilda Ferreira, और अन्य
प्रकाशित: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
द्वारा: David Fernández-Duque
प्रकाशित: (2018-07-01)

Note on the Intuitionistic Logic of False Belief
द्वारा: Tomasz Witczak
प्रकाशित: (2022-03-01)