A bimodal perspective on possibility semantics.

Johan van Benthem Nick Bezhanishvili Wesley H. Holliday

Published in: J. Log. Comput. (2017)

Keyphrases

formal semantics
logic programming
query language
model theoretic
proof theory
logical language
real time
artificial intelligence
bayesian networks
domain knowledge
object oriented
intended meaning