scientific article; zbMATH DE number 1047508

MaRDI QIDQ4349285zbMATH OpenFDO

Authors Dimiter Vakarelov

Publication date 5 November 1997

zbMATH Keywords

\(n\)-dimensional arrow structurearrow logicsaxiomatizationdirected multigraphexpressive powerfirst-order languagesmodal languages

Mathematics Subject Classification ID

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

Recommendations

• Many-dimensional arrow logics
• scientific article; zbMATH DE number 1292308
• scientific article; zbMATH DE number 1215475
• scientific article; zbMATH DE number 1163392

Cited in

(11)

• On fork arrow logic and its expressive power
• Many-dimensional arrow logics
• scientific article; zbMATH DE number 1215475 (Why is no real title available?)
• The Modal Multilogic of Geometry
• scientific article; zbMATH DE number 1292308 (Why is no real title available?)
• scientific article; zbMATH DE number 1047503 (Why is no real title available?)
• scientific article; zbMATH DE number 1163392 (Why is no real title available?)
• Geometrical structures and modal logic
• Hyper arrow logic with indiscernibility and complementarity
• Dynamic extensions of arrow logic
• About the complete axiomatization of dynamic extensions of arrow logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4349285)