The following pages link to (Q4215596):
Displaying 9 items.
- Using hybrid logic for coping with functions in subset spaces (Q965902) (← links)
- Temporal aspects of the modal logic of subset spaces (Q1960421) (← links)
- Reusing topological nexttime logic (Q2027210) (← links)
- A Logic for Belief Contraction (Q2938533) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- Epistemic Conditionals and the Logic of Subsets (Q3299848) (← links)
- Observational Effort and Formally Open Mappings (Q3638284) (← links)
- On Binary Computation Structures (Q4336700) (← links)
- Augmenting Subset Spaces to Cope with Multi-agent Knowledge (Q5283423) (← links)
