Dynamic Formal Systems

Publikace projektu

• Non-Equivalence of Some Implicational Deduction Theorems (2010)
• Modeling Costs of Program Runs in Fuzzified Propositional Dynamic Logic (2008)
• Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic (2010)
• Interpretability in PRA (2009)