scientific article; zbMATH DE number 1088193
From MaRDI portal
Publication:4364506
zbMath0886.03039MaRDI QIDQ4364506
Luca Viganò, Seán Matthews, David A. Basin
Publication date: 7 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Complexity of proofs (03F20)
Related Items (4)
Cut elimination in coalgebraic logics ⋮ EXPtime tableaux for ALC ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ Admissibility of Cut in Coalgebraic Logics
This page was built for publication: