Many-dimensional arrow logics

DOI10.1080/11663081.1996.10510890MaRDI QIDQ3130047zbMATH OpenOpenAlexFDO

Authors Dimiter Vakarelov

Publication date 15 April 1998

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1996.10510890

zbMATH Keywords

modal logicdirected multigraphsarrow framearrow logicsarrow structurespoint frame

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Cylindric and polyadic algebras; relation algebras (03G15)

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 1215475 (Why is no real title available?)
• A Modal Logic for Chopping Intervals
• Algebraization of quantifier logics, an introductory overview
• Decidability of Relation Algebras with Weakened Associativity
• Information systems theoretical foundations
• Language in action. Categories, lambdas and dynamic logic
• Representation of nondeterministic information
• Rough polyadic modal logics
• The domino relation: Flattening a two-dimensional logic

Cited in

(6)

• scientific article; zbMATH DE number 1163392 (Why is no real title available?)
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Arrow logic and infinite counting
• Hyper arrow logic with indiscernibility and complementarity
• Hyper arrow logic with indiscernibility and complementarity
• Dynamic extensions of arrow logic

This page was built for publication: Many-dimensional arrow logics

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