Formula size games for modal logic and μ-calculus
- 期刊名称Journal of Logic and Computation
- 作者T Hella, Lauri; S Vilander, Miikka
- 印刷ISSN0955-792X
- 电子ISSN1465-363X
- 文件大小557.64KB
- 发表时间2019-12-13
- DOI10.1093/logcom/exz025
同期刊推荐
Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012
Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004
A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003
Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014
Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013
Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014
Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003
Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014