Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Show other versions (1)

书目详细资料
Main Authors:	Ma, M, Palmigiano, A, Sadrzadeh, M
格式:	Record
出版:	2011

相似书籍

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
由: Sadrzadeh, M, et al.
出版: (2011)

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

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

Models for intuitionistic logic
由: Cuckle, H, et al.
出版: (1975)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
由: Cirstea, C, et al.
出版: (2006)

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

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

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

Vagueness and intuitionistic logic
由: Rumfitt, I
出版: (2020)

Intuitionistic logic model theory and forcing /
由: Fitting, Melvin, 1942-
出版: (1969)

Copies of Classical Logic in Intuitionistic Logic
由: Jaime Gaspar
出版: (2014-10-01)

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

Merging Intuitionistic and De Morgan Logics
由: Minghui Ma, et al.
出版: (2024-01-01)

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

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

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
由: Williamson, T
出版: (1992)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
由: Leigh, G, et al.
出版: (2012)

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

Should the logic of set theory be intuitionistic?
由: Paseau, A
出版: (2001)

Intuitionistic fuzzy ideals of BCK-algebras
由: Young Bae Jun, et al.
出版: (2000-01-01)

A sound and complete logic for algebraic effects
由: Staton, S, et al.
出版: (2019)

Proof methods for modal and intuitionistic logics /
由: Fitting, Melvin, 1942-
出版: (1983)

Intuitionistic Implication and Logics of Formal Inconsistency
由: Janusz Ciuciura
出版: (2024-10-01)

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

Functional Interpretations of Intuitionistic Linear Logic
由: Gilda Ferreira, et al.
出版: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
由: David Fernández-Duque
出版: (2018-07-01)

Intuitionistic quantum logic of an n−level system
由: Caspers, M, et al.
出版: (2009)

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

Epistemic Updates on Algebras
由: Alexander A Kurz, et al.
出版: (2013-12-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
由: Hajime Ishihara
出版: (2014-08-01)

SBE-Algebras via Intuitionistic Fuzzy Structures
由: Tahsin Oner, et al.
出版: (2024-12-01)

Intuitionistic Fuzzy Magnified Translation of PS-Algebra
由: Rakib Iqbal, et al.
出版: (2021-06-01)

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

On intuitionistic branching tense logic with weak induction
由: Romas Alonderis
出版: (1998-12-01)

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

Remarks on a Temporal Intuitionistic Fuzzy Logic
由: Krassimir Atanassov
出版: (2016-03-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
由: Krassimir Atanassov
出版: (2016-03-01)

On the Mints Hierarchy in First-Order Intuitionistic Logic
由: Aleksy Schubert, et al.
出版: (2017-04-01)

On density of truth of the intuitionistic logic in one variable
由: Zofia Kostrzycka
出版: (2008-01-01)

Semantic Vector Models and Functional Models for Pregroup Grammars.
由: Preller, A, et al.
出版: (2011)