CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-012-9267-x
+Normal rank
@@ Property / OpenAlex ID @@
+W3083336664
@@ Property / OpenAlex ID: W3083336664 / rank @@
+Normal rank
@@ Property / cites work @@
+Substance and first-order quantification over individual-concepts
+Normal rank
@@ Property / cites work @@
+The identity of individuals in a strict functional calculus of second order
+Normal rank
@@ Property / cites work @@
+Q5417798
@@ Property / cites work: Q5417798 / rank @@
+Normal rank
@@ Property / cites work @@
+BH-CIFOL: case-intensional first order logic. II: Branching histories
+Normal rank
@@ Property / cites work @@
+Q5668436
@@ Property / cites work: Q5668436 / rank @@
+Normal rank
@@ Property / cites work @@
+The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order intensional logic
@@ Property / cites work: First-order intensional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4108293
@@ Property / cites work: Q4108293 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying quantified modal logic
@@ Property / cites work: Unifying quantified modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Contingent identity
@@ Property / cites work: Contingent identity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3309807
@@ Property / cites work: Q3309807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes and change
@@ Property / cites work: Classes and change / rank @@
+Normal rank
@@ Property / cites work @@
+Q3269129
@@ Property / cites work: Q3269129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241190
@@ Property / cites work: Q3241190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582311
@@ Property / cites work: Q5582311 / rank @@
+Normal rank
@@ Property / cites work @@
+Indeterminist time and truth‐value gaps<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+Q3992728
@@ Property / cites work: Q3992728 / rank @@
+Normal rank