scientific article; zbMATH DE number 6302891

zbMath1291.03030MaRDI QIDQ5419867

Kohei Kishida, Steven Awodey

Publication date: 11 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order modal logictopological semanticstopological completeness

Mathematics Subject Classification ID

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

Related Items (4)

First order \(S4\) and its measure-theoretic semantics ⋮ Unnamed Item ⋮ TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC ⋮ Unnamed Item

This page was built for publication: