Propositional Linear Temporal Logic with Initial Validity Semantics1
Giero, Mariusz
The Axiomatization of Propositional Logic
Giero, Mariusz
Weak Completeness Theorem for Propositional Linear Time Temporal Logic
Giero, Mariusz
The Properties of Sets of Temporal Logic Subformulas
Giero, Mariusz
The Formalization of Decision-Free Petri Net
Shah, Pratima K., Kawamoto, Pauline N., Giero, Mariusz
The Derivations of Temporal Logic Formulas
Giero, Mariusz
The Axiomatization of Propositional Linear Time Temporal Logic
Giero, Mariusz