scientific article; zbMATH DE number 1047508

zbMath0874.03027MaRDI QIDQ4349285

Dimiter Vakarelov

Publication date: 5 November 1997

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

zbMATH Keywords

expressive powerfirst-order languagesaxiomatizationdirected multigraphmodal languagesarrow logics\(n\)-dimensional arrow structure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (3)

Dynamic extensions of arrow logic ⋮ Geometrical structures and modal logic ⋮ The Modal Multilogic of Geometry

This page was built for publication: