Syntactical treatments of propositional attitudes (Q1275601): Difference between revisions

@@ Property / cites work @@
+Q3954845
@@ Property / cites work: Q3954845 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem Proving: After 25 Years
@@ Property / cites work: Automated Theorem Proving: After 25 Years / rank @@
+Normal rank
@@ Property / cites work @@
+Q3327746
@@ Property / cites work: Q3327746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4108293
@@ Property / cites work: Q4108293 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of belief and action
@@ Property / cites work: A syntactic theory of belief and action / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768759
@@ Property / cites work: Q2768759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586197
@@ Property / cites work: Q5586197 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
+Normal rank
@@ Property / cites work @@
+A note on syntactical treatments of modality
@@ Property / cites work: A note on syntactical treatments of modality / rank @@
+Normal rank