Artykuły

Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning

Reports on Mathematical Logic, 2017, Number 52, s. 3-44
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.001.7139

Interpolation theorems for some variants of LTL

Reports on Mathematical Logic, 2015, Number 50, s. 3-30
Data publikacji online: 21 października 2015
DOI 10.4467/20842589RM.15.001.3910

AN EIGHT-VALUED PRACONSISTENT LOGIC

Reports on Mathematical Logic, 2014, Number 49, s. 3-21
Data publikacji online: 21 października 2014
DOI 10.4467/20842589RM.14.001.2271

Automating and Computing Paraconsistent Reasoning: Contraction-Free, Resolution and Type Systems

Reports on Mathematical Logic, Number 45, s. 3-21
Data publikacji online: 20 września 2010

The Logic of Sequences

Reports on Mathematical Logic, Number 46, s. 29-57
Data publikacji online: 15 grudnia 2011
DOI 10.4467/20842589RM.11.003.0281

Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic

Reports on Mathematical Logic, Number 47, s. 29-61
Data publikacji online: 23 sierpnia 2012
DOI 10.4467/20842589RM.12.002.0683