Temporal patterns and modal structure
DOI10.1093/jigpal/7.1.7zbMath0933.03013OpenAlexW2122861777MaRDI QIDQ4238498
Publication date: 23 February 2000
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/8506376fcd1fbdd14b8652ec11b8e7f1089b2970
surveybisimulationtemporal logicpath geometrymodal logicsdynamic evaluationdynamic representationbounded quantifiertemporal geometrytemporal languagestemporal structures in natural languagetree unraveling
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Temporal logic (03B44)
Related Items