PyReason: Software for Open World Temporal Logic.

Dyuman Aditya Kaustuv Mukherji Srikar Balasubramanian Abhiraj Chaudhary Paulo Shakarian

Published in: CoRR (2023)

Keyphrases

temporal logic
open world
model checking
modal logic
reactive systems
incomplete information
closed world
computation tree logic
belief revision
formal specification language
verification method
formal methods
knowledge base
predicate logic
data exchange
description logics
database