| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 8904273 | Annals of Pure and Applied Logic | 2018 | 42 Pages |
Abstract
As a crucial step in the completeness proof, we show that the above logics admit, in a particular sense, a semantics-preserving elimination of modalities and quantifiers from formulas.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Martin Lück,