Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Niet-deterministische semantieken als instrument voor het modelleren van negaties en modaliteiten.

Output en outcomes

Publicaties

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

Pawel PawlowskiThomas M. FergusonEthan Gertler

A1 Artikel in een tijdschrift in JOURNAL OF LOGIC AND COMPUTATION

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

Pawel PawlowskiDaniel Skurt

A1 Artikel in een tijdschrift 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 Artikel in een tijdschrift in ETHICS AND INFORMATION TECHNOLOGY

Rigor and formalization

Pawel PawlowskiKarim Zahidi

A1 Artikel in een tijdschrift in SYNTHESE