Pages that link to "Item:Q3503622"
From MaRDI portal
The following pages link to Topological Semantics of Justification Logic (Q3503622):
Displaying 10 items.
- The ontology of justifications in the logical setting (Q454364) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- A topological characterization of consistency of logic theories in propositional logic (Q3419670) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- The topology of justification (Q3534982) (← links)
- TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION (Q4295249) (← links)
- (Q4853319) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- A Topos-Theoretic Approach to Counterfactual Logic (Q5170289) (← links)
- (Q5365498) (← links)