ON INTUITIONISTIC MODAL EPISTEMIC LOGIC

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC

Dettagli Bibliografici
Autore principale:	Williamson, T
Natura:	Journal article
Pubblicazione:	1992

Documenti analoghi

2 INCOMPLETE ANTIREALIST MODAL EPISTEMIC LOGICS
di: Williamson, T
Pubblicazione: (1990)

Multi-succedent sequent calculus for intuitionistic epistemic logic
di: Romas Alonderis
Pubblicazione: (2024-12-01)

Proof methods for modal and intuitionistic logics /
di: Fitting, Melvin, 1942-
Pubblicazione: (1983)

On Combining Intuitionistic and S4 Modal Logic
di: João Rasga, et al.
Pubblicazione: (2024-06-01)

A Modal Logic of Epistemic Games
di: François Schwarzentruber, et al.
Pubblicazione: (2010-11-01)

Two Variants of Intuitionistic Fuzzy Modal Logics
di: Krassimir Atanassov
Pubblicazione: (2016-03-01)

A New Modal Framework for Epistemic Logic
di: Yanjing Wang
Pubblicazione: (2017-07-01)

Completeness by Modal Deﬁnitions. Application to the Epistemic Logic With Hypotheses
di: Levan Uridia, et al.
Pubblicazione: (2020-04-01)

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

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
di: Ki Yung Ahn, et al.
Pubblicazione: (2021-08-01)

Models for intuitionistic logic
di: Cuckle, H, et al.
Pubblicazione: (1975)

Vagueness and intuitionistic logic
di: Rumfitt, I
Pubblicazione: (2020)

Copies of Classical Logic in Intuitionistic Logic
di: Jaime Gaspar
Pubblicazione: (2014-10-01)

Epistemic Future and epistemic modal verbs in Portuguese
di: Rui Marques
Pubblicazione: (2020-07-01)

Dynamic epistemic logic /
di: Ditmarsch, Hans van, 1959-, et al.
Pubblicazione: (2007)

Eavesdroppers and epistemic modals
di: Hawthorne, J
Pubblicazione: (2007)

Embedding Epistemic Modals
di: Dorr, C, et al.
Pubblicazione: (2013)

Epistemic Modality in Georgian
di: Nino Sharashenidze
Pubblicazione: (2015-02-01)

Philosophical Foundations of Intuitionistic Logic
di: L Nabavi, et al.
Pubblicazione: (2013-03-01)

Philosophical Foundations of Intuitionistic Logic
di: L Nabavi, et al.
Pubblicazione: (2013-02-01)

Categories for dynamic epistemic logic
di: Kishida, K
Pubblicazione: (2017)

Categories for Dynamic Epistemic Logic
di: Kohei Kishida
Pubblicazione: (2017-07-01)

Intuitionistic Fuzzy Modal Multi-Topological Structures and Intuitionistic Fuzzy Multi-Modal Multi-Topological Structures
di: Krassimir Atanassov
Pubblicazione: (2024-01-01)

Fallibilism and the flexibility of epistemic modals
di: Anderson, C
Pubblicazione: (2014)

Existential Belief and Epistemic Modals
di: Močnik, Maša
Pubblicazione: (2023)

AN ACCOUNT OF EPISTEMIC MODALITY IN SHABAKI
di: Abbas Sultan
Pubblicazione: (2016-05-01)

Should the logic of set theory be intuitionistic?
di: Paseau, A
Pubblicazione: (2001)

THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC
di: Leigh, G, et al.
Pubblicazione: (2012)

Intuitionistic logic model theory and forcing /
di: Fitting, Melvin, 1942-
Pubblicazione: (1969)

Intuitionistic Implication and Logics of Formal Inconsistency
di: Janusz Ciuciura
Pubblicazione: (2024-10-01)

Merging Intuitionistic and De Morgan Logics
di: Minghui Ma, et al.
Pubblicazione: (2024-01-01)

Functional Interpretations of Intuitionistic Linear Logic
di: Gilda Ferreira, et al.
Pubblicazione: (2011-03-01)

The intuitionistic temporal logic of dynamical systems
di: David Fernández-Duque
Pubblicazione: (2018-07-01)

Note on the Intuitionistic Logic of False Belief
di: Tomasz Witczak
Pubblicazione: (2022-03-01)

Admissible Tools in the Kitchen of Intuitionistic Logic
di: Andrea Condoluci, et al.
Pubblicazione: (2018-10-01)

Algebraic axiomatization of tense intuitionistic logic
di: Chajda Ivan
Pubblicazione: (2011-10-01)

The ILLTP Library for Intuitionistic Linear Logic
di: Carlos Olarte, et al.
Pubblicazione: (2019-04-01)

Intuitionistic Fuzzy Modal Topological Structure
di: Krassimir Atanassov
Pubblicazione: (2022-09-01)

An alternative rule of disjunction in modal logic
di: Williamson, T
Pubblicazione: (1992)

Understanding, Modality, Logical Operators Reply
di: Williamson, T
Pubblicazione: (2011)