A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic

From MaRDI portal
Publication:6115851

DOI10.1007/s11225-023-10037-6OpenAlexW4327859639MaRDI QIDQ6115851

Katsuhiko Sano, Youan Su

Publication date: 10 August 2023

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-023-10037-6






Cites Work


This page was built for publication: A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic