Characterization, definability and separation via saturated models (Q2453534): Difference between revisions

@@ 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 @@
+Completeness results for memory logics
@@ Property / cites work: Completeness results for memory logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+On Characterization, Definability and ω-Saturated Models
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Modal characterisation theorems over special classes of frames
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532129
@@ Property / cites work: Q4532129 / 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 @@
+On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
+Normal rank
@@ Property / cites work @@
+Q2998348
@@ Property / cites work: Q2998348 / 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 @@
+Bisimulations for temporal logic
@@ Property / cites work: Bisimulations for temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating without Negation
@@ Property / cites work: Simulating without Negation / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of concept expressions in first-order description logics
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494236
@@ Property / cites work: Q5494236 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic over finite structures
@@ Property / cites work: Modal logic over finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Correspondence Theory
@@ Property / cites work: Coalgebraic Correspondence Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Rank-1 Modal Logics are Coalgebraic
@@ Property / cites work: Rank-1 Modal Logics are Coalgebraic / rank @@
+Normal rank