Mariusz Giero

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Temporally Extended

Top Venues

Formaliz. Math.

Publications

Mariusz Giero
The Axiomatization of Propositional Logic. Formaliz. Math. 24 (4) (2016)
Mariusz Giero
Propositional Linear Temporal Logic with Initial Validity Semantics1. Formaliz. Math. 23 (4) (2015)
Pratima K. Shah, Pauline N. Kawamoto, Mariusz Giero
The Formalization of Decision-Free Petri Net. Formaliz. Math. 22 (1) (2014)
Mariusz Giero
The Derivations of Temporal Logic Formulas. Formaliz. Math. 20 (3) (2012)
Mariusz Giero
Weak Completeness Theorem for Propositional Linear Time Temporal Logic. Formaliz. Math. 20 (3) (2012)
Mariusz Giero
The Properties of Sets of Temporal Logic Subformulas. Formaliz. Math. 20 (3) (2012)
Mariusz Giero
The Axiomatization of Propositional Linear Time Temporal Logic. Formaliz. Math. 19 (2) (2011)