Wyniki
-
Discrete linear temporal logic with current time point clusters, deciding algorithms
V. Rybakov
Logic and Logical Philosophy , 17 /1-2 (2008) s. 143-161 -
Quasi-matrix logic as a paraconsistent logic for dubitable information
Yu V. Ivlev
Logic and Logical Philosophy 8 (2000) s. 91-97