A Branching Time Logic with Past Operators.
Michael KaminskiPublished in: J. Comput. Syst. Sci. (1994)
Keyphrases
- epistemic logic
- multi valued
- modal operators
- temporal logic
- modal logic
- model checking
- neural network
- abductive reasoning
- logic programming
- artificial intelligence
- inference rules
- classical logic
- asynchronous circuits
- databases
- t norm
- digital circuits
- nonmonotonic logics
- automated reasoning
- partially ordered
- probability theory
- nonmonotonic reasoning
- fuzzy sets
- case based reasoning
- image processing
- information systems