The intuitionistic temporal logic of dynamical systems (Q4580328): Difference between revisions

@@ label / en / label / en @@
+The intuitionistic temporal logic of dynamical systems
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.LO
@@ Property / arXiv classification: math.LO / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06929
@@ Property / arXiv ID: 1611.06929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135846
@@ Property / cites work: Q3135846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5767704
@@ Property / cites work: Q5767704 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Here and There
@@ Property / cites work: Temporal Here and There / rank @@
+Normal rank
@@ Property / cites work @@
+Almost totally disconnected minimal systems
@@ Property / cites work: Almost totally disconnected minimal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Positive provability logic for uniform reflection principles
+Normal rank
@@ Property / cites work @@
+Topological completeness of the provability logic GLP
+Normal rank
@@ Property / cites work @@
+A Decidable Intuitionistic Temporal Logic
@@ Property / cites work: A Decidable Intuitionistic Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the positive fragment of the polymodal provability logic GLP
+Normal rank
@@ Property / cites work @@
+On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
+Normal rank
@@ Property / cites work @@
+A representation theorem for Boolean contact algebras
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic semantics for dynamic topological logic
+Normal rank
@@ Property / cites work @@
+Dynamic topological logic interpreted over minimal systems
+Normal rank
@@ Property / cites work @@
+A sound and complete axiomatization for Dynamic Topological Logic
+Normal rank
@@ Property / cites work @@
+Non-finite axiomatizability of dynamic topological logic
+Normal rank
@@ Property / cites work @@
+Non-primitive recursive decidability of products of modal logics with expanding domains
+Normal rank
@@ Property / cites work @@
+Introduction to Boolean Algebras
@@ Property / cites work: Introduction to Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Combining linear-time temporal logic with constructiveness and paraconsistency
+Normal rank
@@ Property / cites work @@
+Constructive linear-time temporal logic: proof systems and Kripke semantics
+Normal rank
@@ Property / cites work @@
+Q3509059
@@ Property / cites work: Q3509059 / rank @@
+Normal rank
@@ Property / cites work @@
+On dynamic topological and metric logics
@@ Property / cites work: On dynamic topological and metric logics / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic topological S5
@@ Property / cites work: Dynamic topological S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic topological logic
@@ Property / cites work: Dynamic topological logic / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Dynamic measure logic
@@ Property / cites work: Dynamic measure logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional temporal logics: decidability and completeness
+Normal rank
@@ Property / cites work @@
+Modal Logics of Topological Relations
@@ Property / cites work: Modal Logics of Topological Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485837
@@ Property / cites work: Q4485837 / rank @@
+Normal rank
@@ Property / cites work @@
+« Everywhere » and « here »
@@ Property / cites work: « Everywhere » and « here » / rank @@
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4580328