Decidability (logic)
Top View
- Remarks on Wittgenstein, Gödel, Chaitin, Incompleteness, Impossiblity and the Psychological Basis of Science and Mathematics
- Decidability and Notation
- Decidability and Algorithmic Analysis of Dependent Object Types (DOT)
- Validity and Decidability
- Decidability Frontier for Fragments of First-Order Logic with Transitivity⋆
- Decidability and Undecidability Results for Propositional Schemata
- On the Decidability of Metric Temporal Logic
- Revisiting Hilbert's “Non-Ignorabimus”
- Decidable Verification Under a Causally Consistent Shared Memory
- The Logic of Action Lattices Is Undecidable
- Decidability and Notation
- On Consistency and Decidability in Some Paraconsistent Arithmetics
- Decidability, and Church-Turing Thesis 19.1 Decision Problems
- Hilbert, Gödel, and Metamathematics Today
- Set-Theoretic Mereology As a Foundation of Mathematics
- Decidability Vs. Undecidability. Logico-Philosophico-Historical Remarks
- Satisfiability Checking
- Decidability: the Entscheidungsproblem