Search

Search Results

Found 15 items.

Dialogue Games for Minimal Logic

Alexandra Pavlova

281-309

2020-11-10
On Definability of Connectives and Modal Logics over FDE

Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

631-659

2019-04-11
Neighborhood Semantics for Basic and Intuitionistic Logic

Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

339–355

2015-08-20
On classical behavior of intuitionistic modalities

Sergey Drobyshevich

79–104

2014-08-16
Remarks on Stable Formulas in Intuitionistic Logic

Majid Alizadeh, Ali Bibak

209-222

2018-11-18
Modalities as interactions between the classical and the intuitionistic logics

Michał Walicki

193-215

2007-03-15
Pragmatic and dialogic interpretations of bi-intuitionism. Part I

Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

449-480

2014-06-03
A deductive-reductive form of logic: General theory and intuitionistic case

Piotr Łukowski

59–78

2004-01-19
Towards intuitionistic dynamic logic

J. W. Degen, J. M. Werner

305-324

2007-03-15
The Kuznetsov-Gerčiu and Rieger-Nishimura logics

Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh

73-110

2008-06-19
The contribution of A.V. Kuznetsov to the theory of modal systems and structures

Alexei Y. Muravitsky

41-58

2008-06-19
Interpolation and implicit definability in extensions of the provability logic

Larisa Maksimova

129-142

2008-06-19
On Brouwer’s criticism of classical logic and mathematics

Tomasz Placek

19-33

2003-10-27
What is a genuine intuitionistic notion of falsity?

Yaroslav Shramko

3–23

2012-03-15
Formulas of one propositional variable in intuitionistic logic with the Solovay modality

Leo Esakia, Revaz Grigolia

111-127

2008-06-19

1 - 15 of 15 items