Publication:4518916
From MaRDI portal
zbMath0961.03016MaRDI QIDQ4518916
Guido Governatori, Alessandro Luppi
Publication date: 3 December 2000
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
Related Items
Cut elimination in coalgebraic logics, Modular sequent calculi for classical modal logics, Admissibility of Cut in Coalgebraic Logics