Results 151 to 160 of about 19,546 (208)

Intuitionistic Autoepistemic Logic

Studia Logica, 1997
Intuitionistic propositional logic with an S5-type possibility operator is proposed as a logic of intuitionistically stable sets.
GIANNI AMATI   +2 more
openaire   +2 more sources

Intuitionistic Conditional Logics

Journal of Philosophical Logic, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ciardelli I, Liu X
openaire   +2 more sources

Home - About - Disclaimer - Privacy