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

Non-deterministic semantics as a tool for modeling negation and modality.

Outputs and Outcomes

Publications

T-BAT semantics and its logics

Pawel Pawlowski

U Journal Article in Logique et Analyse

A Gödel-Dugundji-style theorem for the minimal structural logic

Pawel PawlowskiThomas M. FergusonEthan Gertler

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

☐ and ◇ in eight-valued non-deterministic semantics for modal logics

Pawel PawlowskiDaniel Skurt

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

Beyond transparency and explainability : on the need for adequate and contextualized user guidelines for LLM use

Kristian Gonzalez BarmanNathan WoodPawel Pawlowski

A1 Journal Article in ETHICS AND INFORMATION TECHNOLOGY

Rigor and formalization

Pawel PawlowskiKarim Zahidi

A1 Journal Article in SYNTHESE