Publication:2849890

zbMath1272.03165MaRDI QIDQ2849890

No author found.

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000423

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G30: Categorical logic, topoi

54B30: Categorical methods in general topology

Related Items

An induction principle for consequence in arithmetic universes