Search

Search Results

Found 30 items.

Modalities as interactions between the classical and the intuitionistic logics

Michał Walicki

193-215

2007-03-15
An Expressivist Strategy to Understand Logical Forms

Giacomo Turbanti

511-525

2023-05-16
Temporal non-commutative logic: Expressing time, resource, order and hierarchy

Norihiro Kamide

97-126

2009-11-30
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis

329–363

2013-09-18
Admissibility of cut in congruent modal logics

Andrzej Indrzejczak

189-203

2011-11-30
On univocal connectives

Rodolfo Ertola

5-13

2009-08-15
Note on Contradictions in Francez-Weiss Logics

Satoru Niki

1-30

2024-12-12
Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón

615-648

2024-11-07
Proof theory of epistemic logic of programs

Paolo Maffezioli, Alberto Naibo

301–328

2013-09-12

22 - 30 of 30 items << < 1 2