17 citations · 72 across the 42 of their papers we have counts for
1 paper · 2 filters
K. Dosen, Z. Petric
Positive modalities in systems in the vicinity of S4 and S5 are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections…