provability logic (Q260168)
Jump to navigation
Jump to search
modal logic
Language | Label | Description | Also known as |
---|---|---|---|
English | provability logic |
modal logic |
Statements
Identifiers
Sitelinks
Wikipedia(7 entries)
- dewiki Beweisbarkeitslogik
- enwiki Provability logic
- eswiki Lógica demostrativa
- frwiki Logique de la prouvabilité
- huwiki Bizonyíthatósági logika
- itwiki Logica dimostrativa
- jawiki 証明可能性論理