0546446 - ÚI 2022 DE eng J - Journal Article
Fernández-Duque, David
The intuitionistic temporal logic of dynamical systems.
Logical Methods in Computer Science. Roč. 14, č. 3 (2018), č. článku 3. ISSN 1860-5974. E-ISSN 1860-5974
Keywords : provability logic * intuitionistic logic * temporal logic * dynamical topological systems
Impact factor: 0.432, year: 2018
Permanent Link: http://hdl.handle.net/11104/0322950
Fernández-Duque, David
The intuitionistic temporal logic of dynamical systems.
Logical Methods in Computer Science. Roč. 14, č. 3 (2018), č. článku 3. ISSN 1860-5974. E-ISSN 1860-5974
Keywords : provability logic * intuitionistic logic * temporal logic * dynamical topological systems
Impact factor: 0.432, year: 2018
Permanent Link: http://hdl.handle.net/11104/0322950