On a neighborhood semantics of Lindström provability logic

Я рассмотрю одну из бимодальных пропозициональных логик, а именно логику доказуемости Линдстрёма, расширенную нефундированными выводами, и обсужу окрестностную семантику этой системы. Я планирую показать, что эта логика окрестностно полна относительно глобального отношения семантического следования.