Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Modality and provability from the perspective of non-deterministic semantics.

Outputs and Outcomes

Publications

Rigor and formalization

Pawel PawlowskiKarim Zahidi

A1 Journal Article in SYNTHESE

8 valued non-deterministic semantics for modal logics

Pawel PawlowskiDaniel Skurt

A1 Journal Article in JOURNAL OF PHILOSOPHICAL LOGIC

Modular non-deterministic semantics for T, TB, S4, S5 and more

Pawel PawlowskiElio La Rosa

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION