A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.
Bojan MarinkovicZoran OgnjanovicDragan DoderAleksandar PerovicPublished in: CoRR (2013)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- deductive reasoning
- proof procedure
- logic programming
- predicate calculus
- horn clauses
- general logic programs
- classical logic
- classical first order logic
- autoepistemic logic
- first order logic
- propositional logic
- modal logic
- flow field
- truth maintenance systems
- logical framework
- predicate logic
- belief revision
- propositional variables
- relational databases
- knowledge representation
- worst case
- strips planning
- logical theories
- logic programs
- proof theory
- flow patterns
- theorem proving
- abductive reasoning
- temporal logic
- defeasible logic
- neural network