On Characterization, Definability and ω-Saturated Models (Q3105745): Difference between revisions

@@ Property / arXiv ID @@
+.4718
@@ Property / arXiv ID: 1011.4718 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / 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 @@
+Origins of bisimulation and coinduction
@@ Property / cites work: Origins of bisimulation and coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating without Negation
@@ Property / cites work: Simulating without Negation / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for temporal logic
@@ Property / cites work: Bisimulations for temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2998348
@@ Property / cites work: Q2998348 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive Power and Decidability for Memory Logics
+Normal rank
@@ Property / cites work @@
+THE EXPRESSIVE POWER OF MEMORY LOGICS
@@ Property / cites work: THE EXPRESSIVE POWER OF MEMORY LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of negative definability in modal logic
+Normal rank
@@ Property / cites work @@
+Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank