Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.

Mehrnoosh Sadrzadeh Alessandra Palmigiano Minghui Ma

Published in: LORI (2011)

Keyphrases

computational model
prior knowledge
mathematical model
experimental data
conceptual model
cost function
formal model
database
social networks
expert systems
probability distribution
neural network model
formal semantics