Login / Signup
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic.
Minghui Ma
Alessandra Palmigiano
Mehrnoosh Sadrzadeh
Published in:
Ann. Pure Appl. Log. (2014)
Keyphrases
</>
computational model
probabilistic model
management system
prior knowledge
mathematical model
conceptual model
formal model
neural network
multi agent
cost function
theoretical analysis
parameter estimation
theoretical framework
statistical model
neural network model