Sublogics of a branching time logic of robustness (Q1740655): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2019.02.003
@@ Property / DOI: 10.1016/j.ic.2019.02.003 / 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.1016/j.ic.2019.02.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2919677696
@@ Property / OpenAlex ID: W2919677696 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of a temporal logic with obligation and robustness
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and succinctness of a logic of robustness
+Normal rank
@@ Property / cites work @@
+Augmenting branching temporal logics with existential quantification over atomic propositions
+Normal rank
@@ Property / cites work @@
+A Tableau for Bundled CTL
@@ Property / cites work: A Tableau for Bundled CTL / 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 @@
+A Decision Procedure for CTL* Based on Tableaux and Automata
+Normal rank
@@ Property / cites work @@
+A Rooted Tableau for BCTL*
@@ Property / cites work: A Rooted Tableau for BCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Games for Branching-Time Logics
@@ Property / cites work: Satisfiability Games for Branching-Time Logics / rank @@
+Normal rank
@@ Property / cites work @@
+To be fair, use bundles
@@ Property / cites work: To be fair, use bundles / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+A resolution calculus for the branching-time temporal logic CTL
+Normal rank
@@ Property / cites work @@
+The Tableau Workbench
@@ Property / cites work: The Tableau Workbench / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau for RoBCTL
@@ Property / cites work: A Tableau for RoBCTL / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible deontic logic
@@ Property / cites work: Defeasible deontic logic / 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 @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / 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 @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+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 @@
+Temporal logics for the specification of performance and reliability
+Normal rank
@@ Property / cites work @@
+Deterministic reliability-modeling of dynamic redundancy
+Normal rank
@@ Property / cites work @@
+Robust normative systems and a logic of norm compliance
+Normal rank
@@ Property / cites work @@
+Ernst Mally's Deontik (1926)
@@ Property / cites work: Ernst Mally's Deontik (1926) / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for Qualitative Coalitional Games
@@ Property / cites work: Logics for Qualitative Coalitional Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648830
@@ Property / cites work: Q4648830 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809076
@@ Property / cites work: Q4809076 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded computation tree logic
@@ Property / cites work: Graded computation tree logic / rank @@
+Normal rank
@@ Property / cites work @@
+CTL\(^\ast\) with graded path modalities
@@ Property / cites work: CTL\(^\ast\) with graded path modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Graded Alternating-Time Temporal Logic
@@ Property / cites work: Graded Alternating-Time Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about graded strategy quantifiers
@@ Property / cites work: Reasoning about graded strategy quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Graded modalities in strategy logic
@@ Property / cites work: Graded modalities in strategy logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2019.02.003
@@ Property / DOI: 10.1016/J.IC.2019.02.003 / rank @@
+Normal rank