A propositional logic with explicit fixed points
- 1 June 1981
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 40 (2) , 155-175
- https://doi.org/10.1007/bf01874706
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Provability, truth, and modal logicJournal of Philosophical Logic, 1980
- Calculating self-referential statements, I: Explicit calculationsStudia Logica, 1979
- Arithmetical necessity, provability and intuitionistic logicTheoria, 1978
- Provability interpretations of modal logicIsrael Journal of Mathematics, 1976
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959