Q5091278 (Q5091278): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Three Variables Suffice for Real-Time Logic
@@ Property / cites work: Three Variables Suffice for Real-Time Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009419
@@ Property / cites work: Q5009419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3748269
@@ Property / cites work: Q3748269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007256
@@ Property / cites work: Q3007256 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674621
@@ Property / cites work: Q3674621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281254
@@ Property / cites work: Q4281254 / rank @@
+Normal rank
@@ Property / cites work @@
+PDL with intersection and converse: satisfiability and infinite-state model checking
+Normal rank
@@ Property / cites work @@
+Finite Variable Logics in Descriptive Complexity Theory
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Q5549024
@@ Property / cites work: Q5549024 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of Metric modalities for continuous time
+Normal rank
@@ Property / cites work @@
+Finite \(H\)-dimension does not imply expressive completeness
+Normal rank
@@ Property / cites work @@
+The \(k\)-variable property is stronger than H-dimension \(k\)
+Normal rank
@@ Property / cites work @@
+Expressive Completeness for Metric Temporal Logic
@@ Property / cites work: Expressive Completeness for Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+Normal rank
@@ Property / cites work @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Model checking propositional dynamic logic with all extras
+Normal rank
@@ Property / cites work @@
+-Exp Time lower bounds for propositional dynamic logics with intersection
+Normal rank
@@ Property / cites work @@
+PDL with negation of atomic programs
@@ Property / cites work: PDL with negation of atomic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Deux ou trois choses que je sais de <i>L</i><sub>n</sub>
+Normal rank
@@ Property / cites work @@
+Q5302097
@@ Property / cites work: Q5302097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank