A perspective on modal sequent logic (Q1187165)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A perspective on modal sequent logic |
scientific article |
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
