Local Models Semantics or Contextual Reasoning = Locality + Compatibility Fausto Giunchiglia1,2 fausto@irst.itc.it Joint work with Chiara Ghidini2,3 1ITC-IRST - Trento, Italy 2 DISA - University of Trento, Italy 3 Manchester Metropolitan University, UK http://disi.unitn.it/~context/ Needed: application to quantum mechanics (see below), the intransitive model of time, the logic of qualia, and the formulation of a 'universal' or 'perfect' or God-like perspective...