Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.

Seyed Mohammad Bagheri Massoud Pourmahdian

Published in: Log. J. IGPL (2008)

Keyphrases

expressive power
modal logic
real time
inference rules
vector space
graph embedding
joint estimation
neural network
case study
higher order
multidimensional scaling
set theory
epistemic logic