Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
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.
Researcher
Pawel Pawlowski
Profile
Projects
Publications
Activities
Awards & Distinctions
14
Results
2024
8 valued non-deterministic semantics for modal logics
Pawel Pawlowski
Daniel Skurt
A1
Journal Article
in
JOURNAL OF PHILOSOPHICAL LOGIC
2024
Rigor and formalization
Pawel Pawlowski
Karim Zahidi
A1
Journal Article
in
SYNTHESE
2024
2023
Height of valuations in non-deterministic semantics for modal logic
Pawel Pawlowski
A2
Journal Article
in
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
2023
Informal provability and dialetheism
Pawel Pawlowski
Rafal Urbaniak
A1
Journal Article
in
THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY
2023
Logic of informal provability with truth values
Pawel Pawlowski
Rafal Urbaniak
A1
Journal Article
in
LOGIC JOURNAL OF THE IGPL
2023
2022
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
Pawel Pawlowski
Rafal Urbaniak
A2
Journal Article
in
LOGIC AND LOGICAL PHILOSOPHY
2022
Modular non-deterministic semantics for T, TB, S4, S5 and more
Pawel Pawlowski
Elio La Rosa
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2022
2021
Non-deterministic logic of informal provability has no finite characterization
Pawel Pawlowski
A1
Journal Article
in
JOURNAL OF LOGIC LANGUAGE AND INFORMATION
2021
2020
Tree-like proof systems for finitely-many valued non-deterministic consequence relations
Pawel Pawlowski
A1
Journal Article
in
LOGICA UNIVERSALIS
2020
2018
Informally provable, refutable or neither : a non-deterministic approach to informal provability
Pawel Pawlowski
Rafal Urbaniak
Joke Meheus
Dissertation
2018
Logics of (formal and informal) provability
Rafal Urbaniak
Pawel Pawlowski
Bookchapter
in
Introduction to formal philosophy
2018
Many-valued logic of informal provability : a non-deterministic strategy
Pawel Pawlowski
Rafal Urbaniak
A1
Journal Article
in
REVIEW OF SYMBOLIC LOGIC
2018
Proof systems for BAT consequence relations
Pawel Pawlowski
A1
Journal Article
in
LOGIC JOURNAL OF THE IGPL
2018
2017
Philosophical aspects of an alleged connection between the axiom of choice and predicting the future
Pawel Pawlowski
Bookchapter
in
Applications of formal philosophy : the road less travelled
2017