Pages that link to "Item:Q515566"

The following pages link to Spatial logic of tangled closure operators and modal mu-calculus (Q515566):

Displaying 9 items.

• Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
• The finite model property for logics with the tangle modality (Q1708103) (← links)
• Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
• (Q5015268) (← links)
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
• STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
• THE BAIRE CLOSURE AND ITS LOGIC (Q6123578) (← links)
• Dynamic Cantor Derivative Logic (Q6137850) (← links)
• Fixed point logics and definable topological properties (Q6149964) (← links)