Open AccessResolution Proof Technique in Linear Temporal Logic.
Author(s) -
Donald H. Kraft
Publication year - 2022
Language(s) - Slovenian
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_disstheses.4456
Subject(s) - linear temporal logic , temporal logic , predicate logic , first order logic , predicate (mathematical logic) , algorithm , resolution (logic) , linear logic , proof theory , computation tree logic , structural proof theory , computer science , interval temporal logic , propositional calculus , unification , mathematics , completeness (order theory) , intermediate logic , theoretical computer science , discrete mathematics , programming language , description logic , mathematical proof , mathematical analysis , geometry