Global view on reactivity: switch graphs and their logics (Q1935598): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-012-9316-8
@@ Property / DOI: 10.1007/s10472-012-9316-8 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-012-9316-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2075597035
@@ Property / OpenAlex ID: W2075597035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945233
@@ Property / cites work: Q4945233 / rank @@
+Normal rank
@@ Property / cites work @@
+Bringing them all Together
@@ Property / cites work: Bringing them all Together / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Model Theory for Memory Logics
@@ Property / cites work: Basic Model Theory for Memory Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal and Temporal Argumentation Networks
@@ Property / cites work: Modal and Temporal Argumentation Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Pure extensions, proof rules, and hybrid axiomatics
+Normal rank
@@ Property / cites work @@
+Hybrid languages and temporal logic
@@ Property / cites work: Hybrid languages and temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to tense logic<sup>1</sup>
@@ Property / cites work: An approach to tense logic<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive automata
@@ Property / cites work: Reactive automata / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of hypermodal logics: Mode shifting in modal logic
+Normal rank
@@ Property / cites work @@
+Introducing reactive Kripke semantics and arc accessibility
+Normal rank
@@ Property / cites work @@
+Introducing Reactive Kripke Semantics and Arc Accessibility
+Normal rank
@@ Property / cites work @@
+Reactive Kripke Models and Contrary to Duty Obligations
+Normal rank
@@ Property / cites work @@
+Reactive intuitionistic tableaux
@@ Property / cites work: Reactive intuitionistic tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Modal logics of reactive frames
@@ Property / cites work: Modal logics of reactive frames / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible inheritance systems and reactive diagrams
+Normal rank
@@ Property / cites work @@
+REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
+Normal rank
@@ Property / cites work @@
+A theory of hierarchical consequence and conditionals
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about preferences in argumentation frameworks
+Normal rank
@@ Property / cites work @@
+Modality and quantification in S5
@@ Property / cites work: Modality and quantification in S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic for belief revision
@@ Property / cites work: Dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank
@@ Property / DOI @@
+.1007/S10472-012-9316-8
@@ Property / DOI: 10.1007/S10472-012-9316-8 / rank @@
+Normal rank