Pages that link to "Item:Q2688115"
From MaRDI portal
The following pages link to Topological models of propositional logic of problems and propositions (Q2688115):
Displaying 4 items.
- A topological characterization of consistency of logic theories in propositional logic (Q3419670) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- A joint logic of problems and propositions (Q6575364) (← links)
- Bitopological models of intuitionistic epistemic logic (Q6582275) (← links)