Fusion of sequent modal logic systems labelled with truth values
From MaRDI portal
Publication:3061282
DOI10.1093/jigpal/jzp081zbMath1215.03037OpenAlexW2017752273MaRDI QIDQ3061282
Karina Girardi Roggia, João Rasga, Cristina Sernadas
Publication date: 14 December 2010
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/8de449d00a6ebbf90d15c70cdc219865810918ef
sequent calculilabelled deductionfusion of modal logicgeneral Kripke semanticspreservation of soundness and completeness
Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Combined logics (03B62)
This page was built for publication: Fusion of sequent modal logic systems labelled with truth values