On Composing Finite Forests with Modal Logics (Q5886519): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/3569954
@@ Property / full work available at URL: https://doi.org/10.1145/3569954 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4313254506
@@ Property / OpenAlex ID: W4313254506 / rank @@
+Normal rank
@@ Property / cites work @@
+Moving Arrows and Four Model Checking Results
@@ Property / cites work: Moving Arrows and Four Model Checking Results / rank @@
+Normal rank
@@ Property / cites work @@
+Relation-changing modal operators: Fig. 1.
@@ Property / cites work: Relation-changing modal operators: Fig. 1. / rank @@
+Normal rank
@@ Property / cites work @@
+Global and Local Graph Modifiers
@@ Property / cites work: Global and Local Graph Modifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics of sabotage revisited
@@ Property / cites work: Modal logics of sabotage revisited / rank @@
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Graded modalities. I
@@ Property / cites work: Graded modalities. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5101338
@@ Property / cites work: Q5101338 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics with Composition on Finite Forests
@@ Property / cites work: Modal Logics with Composition on Finite Forests / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384161
@@ Property / cites work: Q3384161 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of one-agent refinement modal logic
+Normal rank
@@ Property / cites work @@
+Deciding validity in a spatial logic for trees
@@ Property / cites work: Deciding validity in a spatial logic for trees / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunct elimination in context logic for trees
@@ Property / cites work: Adjunct elimination in context logic for trees / rank @@
+Normal rank
@@ Property / cites work @@
+Context logic and tree update
@@ Property / cites work: Context logic and tree update / rank @@
+Normal rank
@@ Property / cites work @@
+Q3169433
@@ Property / cites work: Q3169433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal separation logic for resource dynamics
@@ Property / cites work: A modal separation logic for resource dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Expressiveness and complexity of graph logic
@@ Property / cites work: Expressiveness and complexity of graph logic / rank @@
+Normal rank
@@ Property / cites work @@
+A note on graded modal logic
@@ Property / cites work: A note on graded modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The power of modal separation logics
@@ Property / cites work: The power of modal separation logics / rank @@
+Normal rank
@@ Property / cites work @@
+Internal proof calculi for modal logics with separating conjunction
+Normal rank
@@ Property / cites work @@
+Complexity of modal logics with Presburger constraints
+Normal rank
@@ Property / cites work @@
+The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of BI and resource tableaux
@@ Property / cites work: The semantics of BI and resource tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Propositional Logics in Team Semantic
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Quantified CTL: Expressiveness and Complexity
@@ Property / cites work: Quantified CTL: Expressiveness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847405
@@ Property / cites work: Q2847405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5090983
@@ Property / cites work: Q5090983 / rank @@
+Normal rank
@@ Property / cites work @@
+An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+THE FLUTED FRAGMENT REVISITED
@@ Property / cites work: THE FLUTED FRAGMENT REVISITED / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Presburger arithmetic with bounded quantifier alternation
+Normal rank
@@ Property / cites work @@
+Complexity Hierarchies beyond Elementary
@@ Property / cites work: Complexity Hierarchies beyond Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE bounds for rank-1 modal logics
@@ Property / cites work: PSPACE bounds for rank-1 modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE Reasoning for Graded Modal Logics
@@ Property / cites work: PSPACE Reasoning for Graded Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130826230
@@ Property / Wikidata QID: Q130826230 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5886519