Skip to content
<title>Channels - Modal Logics of Topological Relations :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Modal Logics of Topological Relations
Search for more channels:
Similar Items: Modal Logics of Topological Relations
Channel Options
View Record
Explore related channels
Quick Look
Weak topologies for Linear Logic
Quick Look
Modal meet-implication logic
Quick Look
On Nested Sequents for Constructive Modal Logics
Quick Look
A Real-Valued Modal Logic
Quick Look
On Sub-Propositional Fragments of Modal Logic
Quick Look
Dual-Context Calculi for Modal Logic
Quick Look
Modal Logics for Nominal Transition Systems
Quick Look
Canonical Models and the Complexity of Modal Team Logic
Quick Look
Validity and Entailment in Modal and Propositional Dependence Logics
Quick Look
Generic Modal Cut Elimination Applied to Conditional Logics
Quick Look
Towards a Proof Theory of Gödel Modal Logics
Quick Look
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Quick Look
Disjunctive bases: normal forms and model theory for modal logics
Quick Look
Complexity results for modal logic with recursion via translations and tableaux
Quick Look
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
Quick Look
Polishness of some topologies related to word or tree automata
Quick Look
Logical Step-Indexed Logical Relations
Quick Look
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Quick Look
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Quick Look
Relation lifting, with an application to the many-valued cover modality
Quick Look
A Note on the Topologicity of Quantale-Valued Topological Spaces
Quick Look
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Quick Look
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Quick Look
Relational Parametricity and Separation Logic
Load more items
View Record
Prev
Explore related channels
Next
