Q5092390 (Q5092390): Difference between revisions

@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified completeness theorem for quantified modal logics
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis 1
@@ Property / cites work: Analysis 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Term-modal logics
@@ Property / cites work: Term-modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+On logics with two variables
@@ Property / cites work: On logics with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
+Normal rank
@@ Property / cites work @@
+Conflicting Obligations in Multi-agent Deontic Logic
+Normal rank
@@ Property / cites work @@
+The Undecidability of Monadic Modal Quantification Theory
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Free quantified epistemic logics
@@ Property / cites work: Free quantified epistemic logics / rank @@
+Normal rank
@@ Property / cites work @@
+The monodic fragment of propositional term modal logic
+Normal rank
@@ Property / cites work @@
+Q5090984
@@ Property / cites work: Q5090984 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
+Normal rank
@@ Property / cites work @@
+Propositional epistemic logics with quantification over agents of knowledge
+Normal rank
@@ Property / cites work @@
+Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
+Normal rank
@@ Property / cites work @@
+Q3384090
@@ Property / cites work: Q3384090 / rank @@
+Normal rank
@@ Property / cites work @@
+When Names Are Not Commonly Known: Epistemic Logic with Assignments
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order modal logics
@@ Property / cites work: Decidable fragments of first-order modal logics / rank @@
+Normal rank