Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954): Difference between revisions

@@ Property / Wikidata QID @@
+Q57302694
@@ Property / Wikidata QID: Q57302694 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CLAM
@@ Property / describes a project that uses: CLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GETFOL
@@ Property / describes a project that uses: GETFOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3607747
@@ Property / cites work: Q3607747 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342093
@@ Property / cites work: Q4342093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804239
@@ Property / cites work: Q3804239 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Q4817212
@@ Property / cites work: Q4817212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012173
@@ Property / cites work: Q4012173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624009
@@ Property / cites work: Q3624009 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3811754
@@ Property / cites work: Q3811754 / rank @@
+Normal rank
@@ Property / cites work @@
+Generality in artificial intelligence
@@ Property / cites work: Generality in artificial intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726696
@@ Property / cites work: Q5726696 / 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 @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+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
@@ Property / cites work @@
+Prolegomena to a theory of mechanized formal reasoning
+Normal rank
@@ Property / cites work @@
+Q3949990
@@ Property / cites work: Q3949990 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1313954