The Axiomatization of Propositional Linear Time Temporal Logic. - Mariusz Giero (Formaliz. Math., 2011)

The Derivations of Temporal Logic Formulas. - Mariusz Giero (Formaliz. Math., 2012)

The Properties of Sets of Temporal Logic Subformulas. - Mariusz Giero (Formaliz. Math., 2012)

Weak Completeness Theorem for Propositional Linear Time Temporal Logic. - Mariusz Giero (Formaliz. Math., 2012)

The Formalization of Decision-Free Petri Net. - Pratima K. Shah; Pauline N. Kawamoto; Mariusz Giero (Formaliz. Math., 2014)

Propositional Linear Temporal Logic with Initial Validity Semantics1. - Mariusz Giero (Formaliz. Math., 2015)

The Axiomatization of Propositional Logic. - Mariusz Giero (Formaliz. Math., 2016)