Intuitionistic autoepistemic logic

DOI10.1023/A:1004999417699MaRDI QIDQ1370461zbMATH OpenOpenAlexFDO

Authors 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)

Review text

Intuitionistic propositional logic with an S5-type possibility operator is proposed as a logic of intuitionistically stable sets.

Cited in

(9)

• Definability and commonsense reasoning
• Uniform semantic treatment of default and autoepistemic logics
• scientific article; zbMATH DE number 4101147 (Why is no real title available?)
• scientific article; zbMATH DE number 35416 (Why is no real title available?)
• scientific article; zbMATH DE number 60835 (Why is no real title available?)
• scientific article; zbMATH DE number 149516 (Why is no real title available?)
• scientific article; zbMATH DE number 549998 (Why is no real title available?)
• INTUITIONISTIC EPISTEMIC LOGIC
• Intuitionistic logic as epistemic logic

This page was built for publication: Intuitionistic autoepistemic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1370461)