Modal logics of reactive frames (Q2269510): Difference between revisions

@@ Property / author @@
-Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
-Normal rank
@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / 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.1007/s11225-009-9214-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2032215344
@@ Property / OpenAlex ID: W2032215344 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive automata
@@ Property / cites work: Reactive automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Kripke Models and Contrary to Duty Obligations
+Normal rank
@@ Property / cites work @@
+CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS
+Normal rank
@@ Property / cites work @@
+REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
+Normal rank
@@ Property / cites work @@
+Defeasible inheritance systems and reactive diagrams
+Normal rank
@@ Property / cites work @@
+SIZE AND LOGIC
@@ Property / cites work: SIZE AND LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694251
@@ Property / cites work: Q4694251 / rank @@
+Normal rank