The following pages link to (Q5376655):
Displaying 5 items.
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity (Q830362) (← links)
- Validity Measurement in Some Propositional Logics (Q4366133) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- Canonical Models and the Complexity of Modal Team Logic (Q5079755) (← links)