First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012): Difference between revisions

@@ Property / cites work @@
+Temporal connectives versus explicit timestamps to query temporal databases
+Normal rank
@@ Property / cites work @@
+Nominal tense logic
@@ Property / cites work: Nominal tense logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for modal logic. Kripke models for modal predicate calculi
+Normal rank
@@ Property / cites work @@
+Q2735834
@@ Property / cites work: Q2735834 / 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 @@
+Model theory for modal logic. I: The de re / de dicto distinction
+Normal rank
@@ Property / cites work @@
+Model theory for modal logic. II: The elimination of de re modality
+Normal rank
@@ Property / cites work @@
+Model theory for modal logic. III. Existence and predication
+Normal rank
@@ Property / cites work @@
+Q4342097
@@ Property / cites work: Q4342097 / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness results in Kripke semantics
@@ Property / cites work: Incompleteness results in Kripke semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive completeness in modal language
@@ Property / cites work: Expressive completeness in modal language / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems on the expressive limitations of modal languages
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+The elimination of \textit{de re} formulas
@@ Property / cites work: The elimination of \textit{de re} formulas / rank @@
+Normal rank
@@ Property / cites work @@
+To the memory of Arthur Prior Formal properties of ‘now’
+Normal rank
@@ Property / cites work @@
+Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank