scientific article
From MaRDI portal
Publication:3435245
zbMath1117.03022MaRDI QIDQ3435245
Publication date: 25 April 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Intuitionistic non-normal modal logics: a general framework ⋮ Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Mīmāṃsā Deontic Logic: Proof Theory and Applications ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators ⋮ Modular sequent calculi for classical modal logics
This page was built for publication:
