A Normal Modal Calculus Between T and S4 Without the Finite Model Property.

Published in: J. Symb. Log. (1969)

Keyphrases

mathematical model
high level
prior knowledge
cost function
management system
computational model
statistical model
experimental data
information retrieval
database systems
objective function
probabilistic model
theoretical analysis
simulation model
formal model