scientific article; zbMATH DE number 1292308

zbMath0915.03014MaRDI QIDQ4244318

Dimiter Vakarelov

Publication date: 30 May 1999

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

zbMATH Keywords

polymodal logicarrow structuresbasic arrow logic

Mathematics Subject Classification ID

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

Related Items

The Range of Modal Logic ⋮ Dynamic extensions of arrow logic ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Geometrical structures and modal logic ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings