Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Zobrazit další vydání (1)

Podrobná bibliografie
Hlavní autoři:	Ma, M, Palmigiano, A, Sadrzadeh, M
Médium:	Record
Vydáno:	2011

Podobné jednotky

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
Autor: Sadrzadeh, M, a další
Vydáno: (2011)

A Runs−and−Systems Semantics for Logics of Announcement
Autor: Pucella, R, a další
Vydáno: (2009)

Models for intuitionistic logic
Autor: Cuckle, H, a další
Vydáno: (1975)

Vagueness and intuitionistic logic
Autor: Rumfitt, I
Vydáno: (2020)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
Autor: Williamson, T
Vydáno: (1992)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
Autor: Leigh, G, a další
Vydáno: (2012)

Should the logic of set theory be intuitionistic?
Autor: Paseau, A
Vydáno: (2001)

Proof methods for modal and intuitionistic logics /
Autor: Fitting, Melvin, 1942-
Vydáno: (1983)

Intuitionistic quantum logic of an n−level system
Autor: Caspers, M, a další
Vydáno: (2009)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Autor: Cirstea, C, a další
Vydáno: (2006)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
Autor: Sadrzadeh, M, a další
Vydáno: (2010)

A characterisation of open bisimilarity using an intuitionistic modal logic
Autor: Ahrn, Ki Yung, a další
Vydáno: (2018)

Learning in a Changing World: an algebraic modal logical approach
Autor: Panagaden, P, a další
Vydáno: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Autor: Sadrzadeh, M, a další
Vydáno: (2010)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Autor: Sadrzadeh, M, a další
Vydáno: (2009)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
Autor: Dyckhoff, R, a další
Vydáno: (2010)

A sound and complete logic for algebraic effects
Autor: Staton, S, a další
Vydáno: (2019)

Intuitionistic set theory
Autor: Grayson, RJ
Vydáno: (1978)

Semantic Vector Models and Functional Models for Pregroup Grammars.
Autor: Preller, A, a další
Vydáno: (2011)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
Autor: Dyckhoff, R, a další
Vydáno: (2012)

Intuitionistic Fuzzy-based Model for Failure Detection
Autor: Aikhuele, Daniel Osezua, a další
Vydáno: (2016)

Semantic Vector Space and Functional Models for Pregroup Grammars
Autor: Preller, A, a další
Vydáno: (2011)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
Autor: Sadrzadeh, M
Vydáno: (2003)

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems /
Autor: 432725 Bergmann, Merrie
Vydáno: (2008)

Aggregation of infinite chains of intuitionistic fuzzy sets and their application to choices with temporal intuitionistic fuzzy information
Autor: Alcantud, José Carlos R., a další
Vydáno: (2020)

Metamathematical investigation of intuitionistic arithmetic and analysis /
Autor: Troelstra, A. S. (Anne Sjerp)
Vydáno: (1973)

Intuitionistic Fuzzy Segmentation of Brain MRI
Autor: Suzelawati Zenian, a další
Vydáno: (2021)

An Over view on intuitionistic fuzzy topological spaces
Autor: M Abdy, a další
Vydáno: (2021)

Hybrid learning for interval type-2 intuitionistic fuzzy logic systems as applied to identification and prediction problems
Autor: Eyoh, Imo, a další
Vydáno: (2020)

Announcements /
Autor: Purdue University. The Graduate School

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

Algebraic logic /
Autor: 366609 Gindikin, S. G.
Vydáno: (1985)

Logic as algebra /
Autor: 181502 Halmos, Paul, a další
Vydáno: (1998)

Logic, semantics, ontology
Autor: Heck, Richard Gustave
Vydáno: (2009)

Intuitionistic Fuzzy Approach in Contrast Image Enhancement
Autor: Suzelawati Zenian
Vydáno: (2022)

Application of intuitionistic z-numbers in supplier selection
Autor: Nik Muhammad Farhan Hakim, Nik Badrul Alam, a další
Vydáno: (2023)

Application of Intuitionistic Z-Numbers in Supplier Selection
Autor: Nik Muhammad Farhan Hakim, Nik Badrul Alam, a další
Vydáno: (2023)

Intuitionistic fuzzy parameterised fuzzy soft set
Autor: El-Yagubi, Entisar, a další
Vydáno: (2013)

Access and utilization of the urban communications media for public announcements.
Autor: Hollins, Valencia Diann
Vydáno: (2012)

On the sources and value of information: public announcements and macroeconomic performance
Autor: Myatt, D, a další
Vydáno: (2008)