Pages that link to "Item:Q3549319"

The following pages link to On Dynamic Topological Logic of the Real Line (Q3549319):

Displaying 7 items.

• The modal logic of continuous functions on Cantor space (Q862352) (← links)
• The modal logic of continuous functions on the rational numbers (Q971888) (← links)
• Dynamic topologies and their applications to crisp topologies, fuzzifications of crisp topologies, and fuzzy topologies on the crisp real line (Q1105217) (← links)
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
• The d-logic of the real line (Q4914415) (← links)
• Dynamic topological logic of metric spaces (Q5388732) (← links)
• Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)