On the relationship between one-point frames and degrees of unsatisfiability of modal formulas.

Fabio Bellissima

Published in: Notre Dame J. Formal Log. (1984)

Keyphrases

propositional formulas
neural network
frame rate
cnf formula
database
pairwise
moving objects
logic programming
video frames
modal logic
sample points
mathematical formulas
propositional variables
proximity matrix