Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Mostrar outras versões (1)

Detalhes bibliográficos
Principais autores:	Ma, M, Palmigiano, A, Sadrzadeh, M
Formato:	Record
Publicado em:	2011

Registros relacionados

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
por: Sadrzadeh, M, et al.
Publicado em: (2011)

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

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

Models for intuitionistic logic
por: Cuckle, H, et al.
Publicado em: (1975)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
por: Cirstea, C, et al.
Publicado em: (2006)

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

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

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

Vagueness and intuitionistic logic
por: Rumfitt, I
Publicado em: (2020)

Intuitionistic logic model theory and forcing /
por: Fitting, Melvin, 1942-
Publicado em: (1969)

Copies of Classical Logic in Intuitionistic Logic
por: Jaime Gaspar
Publicado em: (2014-10-01)

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

Merging Intuitionistic and De Morgan Logics
por: Minghui Ma, et al.
Publicado em: (2024-01-01)

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

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

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
por: Williamson, T
Publicado em: (1992)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
por: Leigh, G, et al.
Publicado em: (2012)

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

Should the logic of set theory be intuitionistic?
por: Paseau, A
Publicado em: (2001)

Intuitionistic fuzzy ideals of BCK-algebras
por: Young Bae Jun, et al.
Publicado em: (2000-01-01)

A sound and complete logic for algebraic effects
por: Staton, S, et al.
Publicado em: (2019)

Proof methods for modal and intuitionistic logics /
por: Fitting, Melvin, 1942-
Publicado em: (1983)

Intuitionistic Implication and Logics of Formal Inconsistency
por: Janusz Ciuciura
Publicado em: (2024-10-01)

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

Functional Interpretations of Intuitionistic Linear Logic
por: Gilda Ferreira, et al.
Publicado em: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
por: David Fernández-Duque
Publicado em: (2018-07-01)

Intuitionistic quantum logic of an n−level system
por: Caspers, M, et al.
Publicado em: (2009)

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

Epistemic Updates on Algebras
por: Alexander A Kurz, et al.
Publicado em: (2013-12-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
por: Hajime Ishihara
Publicado em: (2014-08-01)

SBE-Algebras via Intuitionistic Fuzzy Structures
por: Tahsin Oner, et al.
Publicado em: (2024-12-01)

Intuitionistic Fuzzy Magnified Translation of PS-Algebra
por: Rakib Iqbal, et al.
Publicado em: (2021-06-01)

New Branch of Intuitionistic Fuzzification in Algebras with Their Applications
por: Samaher Adnan Abdul-Ghani, et al.
Publicado em: (2018-01-01)

On intuitionistic branching tense logic with weak induction
por: Romas Alonderis
Publicado em: (1998-12-01)

On decidability of a fragment of intuitionistic predicate logic
por: Jolanta Kaušilaitė, et al.
Publicado em: (1999-12-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
por: Krassimir Atanassov
Publicado em: (2016-03-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
por: Krassimir Atanassov
Publicado em: (2016-03-01)

On the Mints Hierarchy in First-Order Intuitionistic Logic
por: Aleksy Schubert, et al.
Publicado em: (2017-04-01)

On density of truth of the intuitionistic logic in one variable
por: Zofia Kostrzycka
Publicado em: (2008-01-01)

Semantic Vector Models and Functional Models for Pregroup Grammars.
por: Preller, A, et al.
Publicado em: (2011)