Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Toon andere (1) versies

Bibliografische gegevens
Hoofdauteurs:	Ma, M, Palmigiano, A, Sadrzadeh, M
Formaat:	Record
Gepubliceerd in:	2011

Gelijkaardige items

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
door: Sadrzadeh, M, et al.
Gepubliceerd in: (2011)

A Runs−and−Systems Semantics for Logics of Announcement
door: Pucella, R, et al.
Gepubliceerd in: (2009)

Models for intuitionistic logic
door: Cuckle, H, et al.
Gepubliceerd in: (1975)

Vagueness and intuitionistic logic
door: Rumfitt, I
Gepubliceerd in: (2020)

Intuitionistic logic model theory and forcing /
door: Fitting, Melvin, 1942-
Gepubliceerd in: (1969)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
door: Williamson, T
Gepubliceerd in: (1992)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
door: Leigh, G, et al.
Gepubliceerd in: (2012)

Should the logic of set theory be intuitionistic?
door: Paseau, A
Gepubliceerd in: (2001)

Proof methods for modal and intuitionistic logics /
door: Fitting, Melvin, 1942-
Gepubliceerd in: (1983)

Intuitionistic quantum logic of an n−level system
door: Caspers, M, et al.
Gepubliceerd in: (2009)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
door: Sadrzadeh, M, et al.
Gepubliceerd in: (2010)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
door: Cirstea, C, et al.
Gepubliceerd in: (2006)

A characterisation of open bisimilarity using an intuitionistic modal logic
door: Ahrn, Ki Yung, et al.
Gepubliceerd in: (2018)

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

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
door: Sadrzadeh, M, et al.
Gepubliceerd in: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
door: Sadrzadeh, M, et al.
Gepubliceerd in: (2009)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
door: Dyckhoff, R, et al.
Gepubliceerd in: (2010)

Intuitionistic set theory
door: Grayson, RJ
Gepubliceerd in: (1978)

A sound and complete logic for algebraic effects
door: Staton, S, et al.
Gepubliceerd in: (2019)

Semantic Vector Models and Functional Models for Pregroup Grammars.
door: Preller, A, et al.
Gepubliceerd in: (2011)

Semantic Vector Space and Functional Models for Pregroup Grammars
door: Preller, A, et al.
Gepubliceerd in: (2011)

Intuitionistic Fuzzy-based Model for Failure Detection
door: Aikhuele, Daniel Osezua, et al.
Gepubliceerd in: (2016)

Proof theory and intuitionistic systems /
door: 349246 Scarpellini, Bruno
Gepubliceerd in: (1971)

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

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
door: Sadrzadeh, M
Gepubliceerd in: (2003)

Aggregation of infinite chains of intuitionistic fuzzy sets and their application to choices with temporal intuitionistic fuzzy information
door: Alcantud, José Carlos R., et al.
Gepubliceerd in: (2020)

Metamathematical investigation of intuitionistic arithmetic and analysis /
door: Troelstra, A. S. (Anne Sjerp)
Gepubliceerd in: (1973)

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems /
door: 432725 Bergmann, Merrie
Gepubliceerd in: (2008)

Intuitionistic Fuzzy Segmentation of Brain MRI
door: Suzelawati Zenian, et al.
Gepubliceerd in: (2021)

Announcements/
door: Cornell University. College of Architecture, Art and Planning

Announcements /
door: Purdue University. The Graduate School

An Over view on intuitionistic fuzzy topological spaces
door: M Abdy, et al.
Gepubliceerd in: (2021)

Choice sequences: a chapter of intuitionistics mathematics /
door: Troelstra, A. S. (Anne Sjerp)
Gepubliceerd in: (1977)

Hybrid learning for interval type-2 intuitionistic fuzzy logic systems as applied to identification and prediction problems
door: Eyoh, Imo, et al.
Gepubliceerd in: (2020)

Logic, semantics, ontology
door: Heck, Richard Gustave
Gepubliceerd in: (2009)

Intuitionistic Fuzzy Approach in Contrast Image Enhancement
door: Suzelawati Zenian
Gepubliceerd in: (2022)

Application of intuitionistic z-numbers in supplier selection
door: Nik Muhammad Farhan Hakim, Nik Badrul Alam, et al.
Gepubliceerd in: (2023)

Application of Intuitionistic Z-Numbers in Supplier Selection
door: Nik Muhammad Farhan Hakim, Nik Badrul Alam, et al.
Gepubliceerd in: (2023)

Intuitionistic fuzzy parameterised fuzzy soft set
door: El-Yagubi, Entisar, et al.
Gepubliceerd in: (2013)

Access and utilization of the urban communications media for public announcements.
door: Hollins, Valencia Diann
Gepubliceerd in: (2012)