Intuitionistic autoepistemic logic

DOI10.1023/A:1004999417699zbMath0888.03013OpenAlexW1562822918MaRDI QIDQ1370461

Giambattista Amati, Fiora Pirri, Luigia Carlucci Aiello

Publication date: 26 October 1997

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

Full work available at URL: https://doi.org/10.1023/a:1004999417699

zbMATH Keywords

intuitionistic propositional logicintuitionistically stable setspossibility operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Metamathematics of constructive systems (03F50)

Related Items (1)

Definability and commonsense reasoning

This page was built for publication: Intuitionistic autoepistemic logic