Many-dimensional arrow logics

DOI10.1080/11663081.1996.10510890zbMATH Open0885.03026OpenAlexW2011564139MaRDI QIDQ3130047FDOQ3130047

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

Recommendations

• scientific article; zbMATH DE number 1047508
• scientific article; zbMATH DE number 1292308
• scientific article; zbMATH DE number 1215475

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

• The domino relation: Flattening a two-dimensional logic
• A Modal Logic for Chopping Intervals
• Algebraization of quantifier logics, an introductory overview
• Language in action. Categories, lambdas and dynamic logic
• Representation of nondeterministic information
• Title not available (Why is that?)
• Information systems theoretical foundations
• Rough polyadic modal logics
• Decidability of Relation Algebras with Weakened Associativity
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Hyper arrow logic with indiscernibility and complementarity
• Dynamic extensions of arrow logic
• Hyper arrow logic with indiscernibility and complementarity
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Arrow logic and infinite counting

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)