Many-dimensional arrow logics

DOI10.1080/11663081.1996.10510890zbMath0885.03026OpenAlexW2011564139MaRDI QIDQ3130047

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

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

Related Items (2)

Hyper arrow logic with indiscernibility and complementarity ⋮ Hyper arrow logic with indiscernibility and complementarity

Cites Work

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

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