An exercise on the generation of many-valued dynamic logics (Q2374313): Difference between revisions

@@ Property / cites work @@
+Calculating Invariants as Coreflexive Bisimulations
+Normal rank
@@ Property / cites work @@
+Q2771739
@@ Property / cites work: Q2771739 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3989936
@@ Property / cites work: Q3989936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Means-end relations and a measure of efficacy
@@ Property / cites work: Means-end relations and a measure of efficacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+An elementary proof of the completeness of PDL
@@ Property / cites work: An elementary proof of the completeness of PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4950084
@@ Property / cites work: Q4950084 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic for Petri nets
@@ Property / cites work: Propositional dynamic logic for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+A Dynamic Logic for Every Season
@@ Property / cites work: A Dynamic Logic for Every Season / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization of Institutions
@@ Property / cites work: Hybridization of Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5315128
@@ Property / cites work: Q5315128 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Static Checking by Calculation Using the Pointfree Transform
+Normal rank
@@ Property / cites work @@
+WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES
+Normal rank
@@ Property / cites work @@
+A relation-algebraic approach to the ``Hoare logic'' of functional dependencies
+Normal rank
@@ Property / cites work @@
+Game logic -- an overview
@@ Property / cites work: Game logic -- an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337453
@@ Property / cites work: Q3337453 / rank @@
+Normal rank