Anderson and Belnap's invitation to sin (Q1959326): 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-010-9135-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1975161136
@@ Property / OpenAlex ID: W1975161136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+On deciding the truth of certain statements involving the notion of consistency
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5617623
@@ Property / cites work: Q5617623 / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+New foundations for Lewis modal systems
@@ Property / cites work: New foundations for Lewis modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Reply to Professor Marcus
@@ Property / cites work: Reply to Professor Marcus / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5560263
@@ Property / cites work: Q5560263 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank