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

arrow framearrow logicsarrow structuresdirected multigraphsmodal logicpoint frame

Mathematics Subject Classification ID

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

Cites work

• A Modal Logic for Chopping Intervals
• Algebraization of quantifier logics, an introductory overview
• Decidability of Relation Algebras with Weakened Associativity
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 1215475 (Why is no real title available?)
• 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

(9)

• Arrow logic and infinite counting
• scientific article; zbMATH DE number 1215475 (Why is no real title available?)
• scientific article; zbMATH DE number 1292308 (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?)
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• 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)