Pages that link to "Item:Q3410685"

The following pages link to A polynomial translation of <i>S</i>4 into intuitionistic logic (Q3410685):

Displaying 4 items.

• Constructive agents (Q1688949) (← links)
• Implicit and explicit stances in logic (Q2000675) (← links)
• The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions (Q3584967) (← links)
• A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC (Q5222518) (← links)