Skip to main navigation
Skip to search
Skip to main content
Utrecht University Home
Help & FAQ
Home
Research output
Search by expertise, name or affiliation
A propositional logic with explicit fixed points
Albert Visser
*
*
Corresponding author for this work
OFR - Theoretical Philosophy
Research output
:
Contribution to journal
›
Article
›
Academic
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A propositional logic with explicit fixed points'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Kripke Models
100%
Propositional Logic
100%
Completeness Theorem
100%
Provability
50%
Peano Arithmetic
50%
Provability Logic
50%
Model Completeness
50%
Mathematics
Fixed Points
100%
Provability
100%