Modal Operators over Constructive Logic

DOI10.1093/LOGCOM/EXN016zbMath1161.03010OpenAlexW2135415018MaRDI QIDQ3549311

Evgeny Sherkhonov

Publication date: 22 December 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn016

zbMATH Keywords

modal logicKripke semanticsstrong negation

Mathematics Subject Classification ID

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

Related Items (2)

A general framework for FDE-based modal logics ⋮ Paraconsistent Modal Logics

This page was built for publication: Modal Operators over Constructive Logic