Search

Search Results

Found 29 items.

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
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
On univocal connectives

Rodolfo Ertola

5-13

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

Satoru Niki

1-30

2024-12-12

22 - 29 of 29 items << < 1 2