Which classical correspondence is valid in intuitionistic modal logic?

DOI10.1093/JIGPAL/JZR044zbMath1260.03044OpenAlexW2008795874MaRDI QIDQ2903764

Kensuke Kojima

Publication date: 1 August 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2433/166077

zbMATH Keywords

Kripke semanticsrelational structurescorrespondence theoryintuitionistic modal logicbirelational Kripke frames

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: Which classical correspondence is valid in intuitionistic modal logic?