Pages that link to "Item:Q3410685"
From MaRDI portal
The following pages link to A polynomial translation of <i>S</i>4 into intuitionistic logic (Q3410685):
Displaying 7 items.
- Constructive agents (Q1688949) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4 (Q3126407) (← links)
- (Q3358708) (← 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)
- On different intuitionistic calculi and embeddings from Int to S4 (Q5955616) (← links)