Expressiveness and succinctness of a logic of robustness (Q4586143): Difference between revisions

@@ Property / author @@
-Tim French
@@ Property / author: Tim French / rank @@
-Normal rank
@@ Property / author @@
-M. A. Reynolds
@@ Property / author: M. A. Reynolds / rank @@
-Normal rank
@@ Property / author @@
+Tim French
@@ Property / author: Tim French / rank @@
+Normal rank
@@ Property / author @@
+M. A. Reynolds
@@ Property / author: M. A. Reynolds / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/11663081.2015.1050907
+Normal rank
@@ Property / OpenAlex ID @@
+W2252821131
@@ Property / OpenAlex ID: W2252821131 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization
+Normal rank
@@ Property / cites work @@
+Robust normative systems and a logic of norm compliance
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+The Complexity of Enriched Mu-Calculi
@@ Property / cites work: The Complexity of Enriched Mu-Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Analysis of Timed Automata Via Channel Machines
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+A resource logic for multi-agent plan merging
@@ Property / cites work: A resource logic for multi-agent plan merging / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086925
@@ Property / cites work: Q3086925 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative semantics for temporal logics
@@ Property / cites work: Alternative semantics for temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Q5184412
@@ Property / cites work: Q5184412 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475142
@@ Property / cites work: Q4475142 / rank @@
+Normal rank
@@ Property / cites work @@
+AI 2003: Advances in Artificial Intelligence
@@ Property / cites work: AI 2003: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+A Temporal Logic of Robustness
@@ Property / cites work: A Temporal Logic of Robustness / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of a temporal logic with obligation and robustness
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for CTL* Based on Tableaux and Automata
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+On the Hybrid Extension of CTL and CTL +
@@ Property / cites work: On the Hybrid Extension of CTL and CTL + / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809076
@@ Property / cites work: Q4809076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754072
@@ Property / cites work: Q2754072 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in computer science. A study on extensions of temporal and strategic logics
+Normal rank
@@ Property / cites work @@
+A Tableau for RoBCTL
@@ Property / cites work: A Tableau for RoBCTL / rank @@
+Normal rank
@@ Property / cites work @@
+A Rooted Tableau for BCTL*
@@ Property / cites work: A Rooted Tableau for BCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau-based decision procedure for CTL\(^*\)
@@ Property / cites work: A tableau-based decision procedure for CTL\(^*\) / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded-Variable Fragments of Hybrid Logics
@@ Property / cites work: Bounded-Variable Fragments of Hybrid Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648830
@@ Property / cites work: Q4648830 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251040
@@ Property / cites work: Q4251040 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank