Pages that link to "Item:Q2119125"

The following pages link to Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125):

Displaying 1 item.

• Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis (Q5038472) (← links)