A perspective on modal sequent logic (Q1187165)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A perspective on modal sequent logic |
scientific article; zbMATH DE number 38832
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A perspective on modal sequent logic |
scientific article; zbMATH DE number 38832 |
Statements
A perspective on modal sequent logic (English)
0 references
28 June 1992
0 references
The paper presents work done in 1981-83. Scott-Makinson completeness proofs via canonical models are recast in terms of three-place sequents \(\Gamma\succ_ \Sigma\Delta\) interpreted as \(\Gamma\&\square\Sigma\to\Delta\), and four-place sequents \(\Gamma\succ_ \Sigma^ \Theta \Delta\) interpreted as \(\Gamma\&\square \Sigma\to\square \Theta,\Delta\).
0 references
modal logic
0 references
Scott-Makinson completeness proofs
0 references
three-place sequents
0 references
four-place sequents
0 references
0 references
0.9240592
0 references
0 references
0 references
0.91725636
0 references
0 references
