Local Models Semantics
or Contextual Reasoning = Locality + Compatibility
Joint work with Chiara Ghidini2,3
1ITC-IRST - Trento, Italy
2 DISA - University of Trento, Italy
3 Manchester Metropolitan University, UK
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...