The following pages link to (Q5365498):
Displaying 6 items.
- Comparison of the topological and relational semantics of superintuitionistic logics (Q795828) (← links)
- Default consequence relations from topology and measure theory (Q2122773) (← links)
- A discrete duality between nonmonotonic consequence relations and convex geometries (Q2183103) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE (Q6041349) (← links)