2 papers
cs.LO2025
T-BAT semantics and its logics
Pawel Pawlowski
\textbf{T-BAT} logic is a formal system designed to express the notion of informal provability. This type of provability is closely related to mathematical practice and is quite of…
cs.LO2024
Modal Logics -- RNmatrices vs. Nmatrices
Marcelo E. Coniglio, PaweÅ PawÅowski, Daniel Skurt
In this short paper we will discuss the similarities and differences between two semantic approaches to modal logics - non-deterministic semantics and restricted non-deterministic…