ON INTUITIONISTIC MODAL EPISTEMIC LOGIC

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Williamson, T
Formáid:	Journal article
Foilsithe / Cruthaithe:	1992

Míreanna comhchosúla

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
de réir: Williamson, T
Foilsithe / Cruthaithe: (1990)

Multi-succedent sequent calculus for intuitionistic epistemic logic
de réir: Romas Alonderis
Foilsithe / Cruthaithe: (2024-12-01)

Proof methods for modal and intuitionistic logics /
de réir: Fitting, Melvin, 1942-
Foilsithe / Cruthaithe: (1983)

On Combining Intuitionistic and S4 Modal Logic
de réir: João Rasga, et al.
Foilsithe / Cruthaithe: (2024-06-01)

A Modal Logic of Epistemic Games
de réir: François Schwarzentruber, et al.
Foilsithe / Cruthaithe: (2010-11-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
de réir: Krassimir Atanassov
Foilsithe / Cruthaithe: (2016-03-01)

A New Modal Framework for Epistemic Logic
de réir: Yanjing Wang
Foilsithe / Cruthaithe: (2017-07-01)

Completeness by Modal Deﬁnitions. Application to the Epistemic Logic With Hypotheses
de réir: Levan Uridia, et al.
Foilsithe / Cruthaithe: (2020-04-01)

A characterisation of open bisimilarity using an intuitionistic modal logic
de réir: Ahrn, Ki Yung, et al.
Foilsithe / Cruthaithe: (2018)

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
de réir: Ki Yung Ahn, et al.
Foilsithe / Cruthaithe: (2021-08-01)

Models for intuitionistic logic
de réir: Cuckle, H, et al.
Foilsithe / Cruthaithe: (1975)

Vagueness and intuitionistic logic
de réir: Rumfitt, I
Foilsithe / Cruthaithe: (2020)

Copies of Classical Logic in Intuitionistic Logic
de réir: Jaime Gaspar
Foilsithe / Cruthaithe: (2014-10-01)

Epistemic Future and epistemic modal verbs in Portuguese
de réir: Rui Marques
Foilsithe / Cruthaithe: (2020-07-01)

Dynamic epistemic logic /
de réir: Ditmarsch, Hans van, 1959-, et al.
Foilsithe / Cruthaithe: (2007)

Eavesdroppers and epistemic modals
de réir: Hawthorne, J
Foilsithe / Cruthaithe: (2007)

Embedding Epistemic Modals
de réir: Dorr, C, et al.
Foilsithe / Cruthaithe: (2013)

Epistemic Modality in Georgian
de réir: Nino Sharashenidze
Foilsithe / Cruthaithe: (2015-02-01)

Philosophical Foundations of Intuitionistic Logic
de réir: L Nabavi, et al.
Foilsithe / Cruthaithe: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
de réir: L Nabavi, et al.
Foilsithe / Cruthaithe: (2013-02-01)

Categories for dynamic epistemic logic
de réir: Kishida, K
Foilsithe / Cruthaithe: (2017)

Categories for Dynamic Epistemic Logic
de réir: Kohei Kishida
Foilsithe / Cruthaithe: (2017-07-01)

Intuitionistic Fuzzy Modal Multi-Topological Structures and Intuitionistic Fuzzy Multi-Modal Multi-Topological Structures
de réir: Krassimir Atanassov
Foilsithe / Cruthaithe: (2024-01-01)

Fallibilism and the flexibility of epistemic modals
de réir: Anderson, C
Foilsithe / Cruthaithe: (2014)

Existential Belief and Epistemic Modals
de réir: Močnik, Maša
Foilsithe / Cruthaithe: (2023)

AN ACCOUNT OF EPISTEMIC MODALITY IN SHABAKI
de réir: Abbas Sultan
Foilsithe / Cruthaithe: (2016-05-01)

Should the logic of set theory be intuitionistic?
de réir: Paseau, A
Foilsithe / Cruthaithe: (2001)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
de réir: Leigh, G, et al.
Foilsithe / Cruthaithe: (2012)

Intuitionistic logic model theory and forcing /
de réir: Fitting, Melvin, 1942-
Foilsithe / Cruthaithe: (1969)

Intuitionistic Implication and Logics of Formal Inconsistency
de réir: Janusz Ciuciura
Foilsithe / Cruthaithe: (2024-10-01)

Merging Intuitionistic and De Morgan Logics
de réir: Minghui Ma, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Functional Interpretations of Intuitionistic Linear Logic
de réir: Gilda Ferreira, et al.
Foilsithe / Cruthaithe: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
de réir: David Fernández-Duque
Foilsithe / Cruthaithe: (2018-07-01)

Note on the Intuitionistic Logic of False Belief
de réir: Tomasz Witczak
Foilsithe / Cruthaithe: (2022-03-01)

Admissible Tools in the Kitchen of Intuitionistic Logic
de réir: Andrea Condoluci, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Algebraic axiomatization of tense intuitionistic logic
de réir: Chajda Ivan
Foilsithe / Cruthaithe: (2011-10-01)

The ILLTP Library for Intuitionistic Linear Logic
de réir: Carlos Olarte, et al.
Foilsithe / Cruthaithe: (2019-04-01)

Intuitionistic Fuzzy Modal Topological Structure
de réir: Krassimir Atanassov
Foilsithe / Cruthaithe: (2022-09-01)

An alternative rule of disjunction in modal logic
de réir: Williamson, T
Foilsithe / Cruthaithe: (1992)

Understanding, Modality, Logical Operators Reply
de réir: Williamson, T
Foilsithe / Cruthaithe: (2011)