Showing 1 - 2 results of 2 for search 'David Fernández-Duque', query time: 0.02s Refine Results
  1. 1
    The intuitionistic temporal logic of dynamical systems

    The intuitionistic temporal logic of dynamical systems by David Fernández-Duque

    Published 2018-07-01
    Get full text
    Article
  2. 2
    Dynamic Cantor Derivative Logic

    Dynamic Cantor Derivative Logic by David Fernández-Duque, Yoàv Montacute

    Published 2023-12-01
    Get full text
    Article

Search Tools: