scientific article; zbMATH DE number 1852928
From MaRDI portal
Cited in
(7)- Socratic proofs
- Reasoning about strategies: on the model-checking problem
- Axiomatization and models of scientific theories
- Exhibiting interpretational and representational validity
- Comments on the Papers
- Basic predicate calculus
- On Dichotomy and Analogy: A Question on the Next “Unbloody” Revolution in Logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4789458)
