scientific article; zbMATH DE number 1292308

MaRDI QIDQ4244318zbMATH OpenFDO

Authors Dimiter Vakarelov

Publication date 30 May 1999

zbMATH Keywords

arrow structuresbasic arrow logicpolymodal logic

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(15)

• Complexity results of STIT fragments
• Many-dimensional arrow logics
• scientific article; zbMATH DE number 1215475 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1047503 (Why is no real title available?)
• scientific article; zbMATH DE number 1047507 (Why is no real title available?)
• scientific article; zbMATH DE number 1047508 (Why is no real title available?)
• scientific article; zbMATH DE number 1163392 (Why is no real title available?)
• The Range of Modal Logic
• Temporal STIT logic and its application to normative reasoning
• Geometrical structures and modal logic
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Stit semantics for epistemic notions based on information disclosure in interactive settings
• 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 Q4244318)