Pages that link to "Item:Q1919762"
From MaRDI portal
The following pages link to Topological reasoning and the logic of knowledge (Q1919762):
Displaying 49 items.
- Dynamic logics of evidence-based beliefs (Q647408) (← links)
- Using hybrid logic for coping with functions in subset spaces (Q965902) (← links)
- A hybrid logic for reasoning about knowledge and topology (Q1006488) (← links)
- A note on logics of ignorance and borders (Q1049740) (← links)
- The logic of viewpoints (Q1060205) (← links)
- Knowledge on treelike spaces (Q1372362) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- Logic, topology, and integration (Q1893128) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- Temporal aspects of the modal logic of subset spaces (Q1960421) (← links)
- Reusing topological nexttime logic (Q2027210) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- Hypergraphs, local reasoning, and weakly aggregative modal logic (Q2148816) (← links)
- Modal systems for covering semantics and boundary operator (Q2237204) (← links)
- A topological approach to full belief (Q2421518) (← links)
- A Grim semantics for logics of belief (Q2481242) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- Logics for multi-subset spaces (Q2901196) (← links)
- Updating knowledge using subsets (Q2901221) (← links)
- A Logic for Belief Contraction (Q2938533) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- Logical Dynamics of Evidence (Q3093993) (← links)
- An Alternative Logic for Knowability (Q3094019) (← links)
- Topological Subset Space Models for Public Announcements (Q3299575) (← links)
- Parikh and Wittgenstein (Q3299831) (← links)
- Epistemic Conditionals and the Logic of Subsets (Q3299848) (← links)
- (Q3384060) (← links)
- LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF (Q3389490) (← links)
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (Q3455847) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- The topology of justification (Q3534982) (← links)
- A Two-Dimensional Hybrid Logic of Subset Spaces (Q3601810) (← links)
- Observational Effort and Formally Open Mappings (Q3638284) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- (Q3699689) (← links)
- (Q3994458) (← links)
- Expressivity in polygonal, plane mereotopology (Q4508265) (← links)
- (Q5015398) (← links)
- (Q5018503) (← links)
- Augmenting Subset Spaces to Cope with Multi-agent Knowledge (Q5283423) (← links)
- Algebraic Methodology and Software Technology (Q5312979) (← links)
- A dynamic logic for learning theory (Q5918210) (← links)
- Topological modal logics satisfying finite chain conditions (Q5937828) (← links)
- To be announced (Q6040661) (← links)
- The epistemology of nondeterminism (Q6097774) (← links)
- The logic of framing effects (Q6098218) (← links)
- An Acceptance Semantics for Stable Modal Knowledge (Q6199619) (← links)
- Knowledge from probability (Q6642574) (← links)