Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Những tác giả chính:	Ma, M, Palmigiano, A, Sadrzadeh, M
Định dạng:	Record
Được phát hành:	2011

Những quyển sách tương tự

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
Bằng: Sadrzadeh, M, et al.
Được phát hành: (2011)

A Runs−and−Systems Semantics for Logics of Announcement
Bằng: Pucella, R, et al.
Được phát hành: (2009)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Bằng: Simon Docherty, et al.
Được phát hành: (2018-10-01)

Models for intuitionistic logic
Bằng: Cuckle, H, et al.
Được phát hành: (1975)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Bằng: Cirstea, C, et al.
Được phát hành: (2006)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
Bằng: Sadrzadeh, M, et al.
Được phát hành: (2010)

Completeness classes for intuitionistic first-order temporal logic with time gaps
Bằng: Romas Alonderis
Được phát hành: (2023-11-01)

Learning in a Changing World: an algebraic modal logical approach
Bằng: Panagaden, P, et al.
Được phát hành: (2010)

Vagueness and intuitionistic logic
Bằng: Rumfitt, I
Được phát hành: (2020)

Intuitionistic logic model theory and forcing /
Bằng: Fitting, Melvin, 1942-
Được phát hành: (1969)

Copies of Classical Logic in Intuitionistic Logic
Bằng: Jaime Gaspar
Được phát hành: (2014-10-01)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
Bằng: Dyckhoff, R, et al.
Được phát hành: (2010)

Merging Intuitionistic and De Morgan Logics
Bằng: Minghui Ma, et al.
Được phát hành: (2024-01-01)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Bằng: Sadrzadeh, M, et al.
Được phát hành: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Bằng: Sadrzadeh, M, et al.
Được phát hành: (2009)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
Bằng: Williamson, T
Được phát hành: (1992)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
Bằng: Leigh, G, et al.
Được phát hành: (2012)

Closure Operations on Intuitionistic Linear Algebras
Bằng: Tenkeu Jeufack Y.L., et al.
Được phát hành: (2024-09-01)

Should the logic of set theory be intuitionistic?
Bằng: Paseau, A
Được phát hành: (2001)

Intuitionistic fuzzy ideals of BCK-algebras
Bằng: Young Bae Jun, et al.
Được phát hành: (2000-01-01)

A sound and complete logic for algebraic effects
Bằng: Staton, S, et al.
Được phát hành: (2019)

Proof methods for modal and intuitionistic logics /
Bằng: Fitting, Melvin, 1942-
Được phát hành: (1983)

Intuitionistic Implication and Logics of Formal Inconsistency
Bằng: Janusz Ciuciura
Được phát hành: (2024-10-01)

On Combining Intuitionistic and S4 Modal Logic
Bằng: João Rasga, et al.
Được phát hành: (2024-06-01)

Functional Interpretations of Intuitionistic Linear Logic
Bằng: Gilda Ferreira, et al.
Được phát hành: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
Bằng: David Fernández-Duque
Được phát hành: (2018-07-01)

Intuitionistic quantum logic of an n−level system
Bằng: Caspers, M, et al.
Được phát hành: (2009)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
Bằng: Dyckhoff, R, et al.
Được phát hành: (2012)

Epistemic Updates on Algebras
Bằng: Alexander A Kurz, et al.
Được phát hành: (2013-12-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
Bằng: Hajime Ishihara
Được phát hành: (2014-08-01)

SBE-Algebras via Intuitionistic Fuzzy Structures
Bằng: Tahsin Oner, et al.
Được phát hành: (2024-12-01)

Intuitionistic Fuzzy Magnified Translation of PS-Algebra
Bằng: Rakib Iqbal, et al.
Được phát hành: (2021-06-01)

New Branch of Intuitionistic Fuzzification in Algebras with Their Applications
Bằng: Samaher Adnan Abdul-Ghani, et al.
Được phát hành: (2018-01-01)

On intuitionistic branching tense logic with weak induction
Bằng: Romas Alonderis
Được phát hành: (1998-12-01)

On decidability of a fragment of intuitionistic predicate logic
Bằng: Jolanta Kaušilaitė, et al.
Được phát hành: (1999-12-01)

Remarks on a Temporal Intuitionistic Fuzzy Logic
Bằng: Krassimir Atanassov
Được phát hành: (2016-03-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
Bằng: Krassimir Atanassov
Được phát hành: (2016-03-01)

On the Mints Hierarchy in First-Order Intuitionistic Logic
Bằng: Aleksy Schubert, et al.
Được phát hành: (2017-04-01)

On density of truth of the intuitionistic logic in one variable
Bằng: Zofia Kostrzycka
Được phát hành: (2008-01-01)

Semantic Vector Models and Functional Models for Pregroup Grammars.
Bằng: Preller, A, et al.
Được phát hành: (2011)