Modal R 0-Algebra-Valued Modal Logic System M $\mathcal{L}$ *

DOI10.1007/978-3-642-15660-1_8zbMath1260.03048OpenAlexW75246058MaRDI QIDQ3145139

Huixian Shi, Wang, Guojun

Publication date: 14 December 2012

Published in: Quantitative Logic and Soft Computing 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15660-1_8

zbMATH Keywords

modal logiccompletenessvaliditymodal modelmodal \(R_0\)-algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Modal R 0-Algebra-Valued Modal Logic System M $\mathcal{L}$ *