First-order modal logic with an `actually' operator (Q817958): Difference between revisions

@@ Property / cites work @@
+Remarks on Gregory's ``actually'' operator
@@ Property / cites work: Remarks on Gregory's ``actually'' operator / rank @@
+Normal rank
@@ Property / cites work @@
+Q4170702
@@ Property / cites work: Q4170702 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and decidability results for some propositional modal logics containing ``actually'' operators
+Normal rank
@@ Property / cites work @@
+Axioms for actuality
@@ Property / cites work: Axioms for actuality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations into quantified modal logic
@@ Property / cites work: Investigations into quantified modal logic / rank @@
+Normal rank