Faith \& falsity (Q705533): 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.1016/j.apal.2004.04.008
+Normal rank
@@ Property / OpenAlex ID @@
+W4212913921
@@ Property / OpenAlex ID: W4212913921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on proofs of falsehood
@@ Property / cites work: A note on proofs of falsehood / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354788
@@ Property / cites work: Q4354788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal predicative set theory
@@ Property / cites work: A minimal predicative set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Cuts, consistency statements and interpretations
@@ Property / cites work: Cuts, consistency statements and interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Fifty years of self-reference in arithmetic
@@ Property / cites work: Fifty years of self-reference in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666845
@@ Property / cites work: Q3666845 / 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 @@
+Modal analysis of generalized rosser sentences
@@ Property / cites work: Modal analysis of generalized rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+A small reflection principle for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+The formalization of interpretability
@@ Property / cites work: The formalization of interpretability / rank @@
+Normal rank
@@ Property / cites work @@
+An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP
+Normal rank
@@ Property / cites work @@
+The unprovability of small inconsistency. A study of local and global interpretability
+Normal rank
@@ Property / cites work @@
+Q4215610
@@ Property / cites work: Q4215610 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules and arithmetics
@@ Property / cites work: Rules and arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank
@@ Property / cites work @@
+Q4761629
@@ Property / cites work: Q4761629 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:705533