Thematic Categories

List of all Publications

---

1) Logics

1.1) Fixed Point Logic with Chop 1.2) Higher Order Fixed Point Logic 1.3) Modal Iteration Calculus 1.4) Propositional Dynamic Logic for CFG