Guards, bounds, and generalized semantics (Q2567341): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10849-005-5786-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2162343864
@@ Property / OpenAlex ID: W2162343864 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Finite algebras of relations are representable on finite sets
+Normal rank
@@ Property / cites work @@
+Q5544276
@@ Property / cites work: Q5544276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263155
@@ Property / cites work: Q4263155 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and definability in guarded fragments
+Normal rank
@@ Property / cites work @@
+Q4938431
@@ Property / cites work: Q4938431 / rank @@
+Normal rank
@@ Property / cites work @@
+Tolerance logic
@@ Property / cites work: Tolerance logic / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatics and intensional logic
@@ Property / cites work: Pragmatics and intensional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric-relativised set algebras have strong amalgamation
+Normal rank
@@ Property / cites work @@
+Q4873975
@@ Property / cites work: Q4873975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349288
@@ Property / cites work: Q4349288 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation for extended modal languages
@@ Property / cites work: Interpolation for extended modal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Determiners and logic
@@ Property / cites work: Determiners and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349287
@@ Property / cites work: Q4349287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+The Range of Modal Logic
@@ Property / cites work: The Range of Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329234
@@ Property / cites work: Q4329234 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and modal logic
@@ Property / cites work: Generalized quantifiers and modal logic / rank @@
+Normal rank