Possible world semantics for first-order logic of proofs (Q392284): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B45 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F45 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F55 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6244770 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
justification logic | |||
| Property / zbMATH Keywords: justification logic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
logic of proofs | |||
| Property / zbMATH Keywords: logic of proofs / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
possible world semantics | |||
| Property / zbMATH Keywords: possible world semantics / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
completeness | |||
| Property / zbMATH Keywords: completeness / rank | |||
Normal rank | |||
Revision as of 14:24, 29 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Possible world semantics for first-order logic of proofs |
scientific article |
Statements
Possible world semantics for first-order logic of proofs (English)
0 references
13 January 2014
0 references
justification logic
0 references
logic of proofs
0 references
possible world semantics
0 references
completeness
0 references
