ON INTUITIONISTIC MODAL EPISTEMIC LOGIC

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC

Detaylı Bibliyografya
Yazar:	Williamson, T
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	1992

Benzer Materyaller

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
Yazar:: Williamson, T
Baskı/Yayın Bilgisi: (1990)

Multi-succedent sequent calculus for intuitionistic epistemic logic
Yazar:: Romas Alonderis
Baskı/Yayın Bilgisi: (2024-12-01)

Proof methods for modal and intuitionistic logics /
Yazar:: Fitting, Melvin, 1942-
Baskı/Yayın Bilgisi: (1983)

On Combining Intuitionistic and S4 Modal Logic
Yazar:: João Rasga, ve diğerleri
Baskı/Yayın Bilgisi: (2024-06-01)

A Modal Logic of Epistemic Games
Yazar:: François Schwarzentruber, ve diğerleri
Baskı/Yayın Bilgisi: (2010-11-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
Yazar:: Krassimir Atanassov
Baskı/Yayın Bilgisi: (2016-03-01)

A New Modal Framework for Epistemic Logic
Yazar:: Yanjing Wang
Baskı/Yayın Bilgisi: (2017-07-01)

Completeness by Modal Deﬁnitions. Application to the Epistemic Logic With Hypotheses
Yazar:: Levan Uridia, ve diğerleri
Baskı/Yayın Bilgisi: (2020-04-01)

A characterisation of open bisimilarity using an intuitionistic modal logic
Yazar:: Ahrn, Ki Yung, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Yazar:: Ki Yung Ahn, ve diğerleri
Baskı/Yayın Bilgisi: (2021-08-01)

Models for intuitionistic logic
Yazar:: Cuckle, H, ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Vagueness and intuitionistic logic
Yazar:: Rumfitt, I
Baskı/Yayın Bilgisi: (2020)

Copies of Classical Logic in Intuitionistic Logic
Yazar:: Jaime Gaspar
Baskı/Yayın Bilgisi: (2014-10-01)

Epistemic Future and epistemic modal verbs in Portuguese
Yazar:: Rui Marques
Baskı/Yayın Bilgisi: (2020-07-01)

Dynamic epistemic logic /
Yazar:: Ditmarsch, Hans van, 1959-, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Eavesdroppers and epistemic modals
Yazar:: Hawthorne, J
Baskı/Yayın Bilgisi: (2007)

Embedding Epistemic Modals
Yazar:: Dorr, C, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Epistemic Modality in Georgian
Yazar:: Nino Sharashenidze
Baskı/Yayın Bilgisi: (2015-02-01)

Philosophical Foundations of Intuitionistic Logic
Yazar:: L Nabavi, ve diğerleri
Baskı/Yayın Bilgisi: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
Yazar:: L Nabavi, ve diğerleri
Baskı/Yayın Bilgisi: (2013-02-01)

Categories for dynamic epistemic logic
Yazar:: Kishida, K
Baskı/Yayın Bilgisi: (2017)

Categories for Dynamic Epistemic Logic
Yazar:: Kohei Kishida
Baskı/Yayın Bilgisi: (2017-07-01)

Intuitionistic Fuzzy Modal Multi-Topological Structures and Intuitionistic Fuzzy Multi-Modal Multi-Topological Structures
Yazar:: Krassimir Atanassov
Baskı/Yayın Bilgisi: (2024-01-01)

Fallibilism and the flexibility of epistemic modals
Yazar:: Anderson, C
Baskı/Yayın Bilgisi: (2014)

Existential Belief and Epistemic Modals
Yazar:: Močnik, Maša
Baskı/Yayın Bilgisi: (2023)

AN ACCOUNT OF EPISTEMIC MODALITY IN SHABAKI
Yazar:: Abbas Sultan
Baskı/Yayın Bilgisi: (2016-05-01)

Should the logic of set theory be intuitionistic?
Yazar:: Paseau, A
Baskı/Yayın Bilgisi: (2001)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
Yazar:: Leigh, G, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Intuitionistic logic model theory and forcing /
Yazar:: Fitting, Melvin, 1942-
Baskı/Yayın Bilgisi: (1969)

Intuitionistic Implication and Logics of Formal Inconsistency
Yazar:: Janusz Ciuciura
Baskı/Yayın Bilgisi: (2024-10-01)

Merging Intuitionistic and De Morgan Logics
Yazar:: Minghui Ma, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Functional Interpretations of Intuitionistic Linear Logic
Yazar:: Gilda Ferreira, ve diğerleri
Baskı/Yayın Bilgisi: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
Yazar:: David Fernández-Duque
Baskı/Yayın Bilgisi: (2018-07-01)

Note on the Intuitionistic Logic of False Belief
Yazar:: Tomasz Witczak
Baskı/Yayın Bilgisi: (2022-03-01)

Admissible Tools in the Kitchen of Intuitionistic Logic
Yazar:: Andrea Condoluci, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Algebraic axiomatization of tense intuitionistic logic
Yazar:: Chajda Ivan
Baskı/Yayın Bilgisi: (2011-10-01)

The ILLTP Library for Intuitionistic Linear Logic
Yazar:: Carlos Olarte, ve diğerleri
Baskı/Yayın Bilgisi: (2019-04-01)

Intuitionistic Fuzzy Modal Topological Structure
Yazar:: Krassimir Atanassov
Baskı/Yayın Bilgisi: (2022-09-01)

An alternative rule of disjunction in modal logic
Yazar:: Williamson, T
Baskı/Yayın Bilgisi: (1992)

Understanding, Modality, Logical Operators Reply
Yazar:: Williamson, T
Baskı/Yayın Bilgisi: (2011)