scientific article
From MaRDI portal
Publication:3101107
zbMath1244.03068MaRDI QIDQ3101107
Publication date: 22 November 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Games for hybrid logic. From semantic games to analytic calculi ⋮ Labeled sequent calculus for justification logics ⋮ Does the deduction theorem fail for modal logic? ⋮ A henkin-style completeness proof for the modal logic S5 ⋮ Reasoning about collectively accepted group beliefs ⋮ Meaning in Use ⋮ Modular sequent calculi for classical modal logics