Tableaux and hypersequents for justification logics (Q408538): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / review text | |||
Logics of proofs (now called justification logics), introduced by S. Artemov, are usually based on S4. The author investigates a system S4LPN, introduced by S. Artemov and E. Nogina, which has an additional S5-like schema. He presents rather complicated tableau and hypersequent formulations for S4LPN. It is possible that a much more elegant formulation can be obtained using a cut-free system for S5 due to \textit{G. F. Shvarts} [``Gentzen style systems for K45 and K45D'', Lect. Notes Comput. Sci. 363, 245--256 (1989; Zbl 0677.03010)]. | |||
| Property / review text: Logics of proofs (now called justification logics), introduced by S. Artemov, are usually based on S4. The author investigates a system S4LPN, introduced by S. Artemov and E. Nogina, which has an additional S5-like schema. He presents rather complicated tableau and hypersequent formulations for S4LPN. It is possible that a much more elegant formulation can be obtained using a cut-free system for S5 due to \textit{G. F. Shvarts} [``Gentzen style systems for K45 and K45D'', Lect. Notes Comput. Sci. 363, 245--256 (1989; Zbl 0677.03010)]. / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Grigori Mints / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B45 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B42 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F45 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6022769 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
justification logic | |||
| Property / zbMATH Keywords: justification logic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
hypersequents | |||
| Property / zbMATH Keywords: hypersequents / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
tableaux | |||
| Property / zbMATH Keywords: tableaux / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
modal logic | |||
| Property / zbMATH Keywords: modal logic / rank | |||
Normal rank | |||
Revision as of 18:02, 29 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tableaux and hypersequents for justification logics |
scientific article |
Statements
Tableaux and hypersequents for justification logics (English)
0 references
10 April 2012
0 references
Logics of proofs (now called justification logics), introduced by S. Artemov, are usually based on S4. The author investigates a system S4LPN, introduced by S. Artemov and E. Nogina, which has an additional S5-like schema. He presents rather complicated tableau and hypersequent formulations for S4LPN. It is possible that a much more elegant formulation can be obtained using a cut-free system for S5 due to \textit{G. F. Shvarts} [``Gentzen style systems for K45 and K45D'', Lect. Notes Comput. Sci. 363, 245--256 (1989; Zbl 0677.03010)].
0 references
justification logic
0 references
hypersequents
0 references
tableaux
0 references
modal logic
0 references
