Hyper arrow logic with indiscernibility and complementarity

DOI10.3166/JANCL.18.137-152MaRDI QIDQ5902191zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Tinko Tinchev

Publication date 11 November 2009

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

Full work available at URL https://doi.org/10.3166/jancl.18.137-152

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45)

Recommendations

• The Range of Modal Logic
• Handbook of modal logic
• scientific article; zbMATH DE number 7241873
• Editorial: Special issue on non-classical modal and predicate logics
• Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022

Cites work

• Information systems theoretical foundations
• Kripke semantics for knowledge representation logics
• Logic of nondeterministic information
• Many-dimensional arrow logics
• Representation of nondeterministic information
• The Computational Complexity of Provability in Systems of Modal Propositional Logic

Cited in

(3)

• scientific article; zbMATH DE number 5075930 (Why is no real title available?)
• Editors’ introduction: Special issue on non-classical modal and predicate logics
• The Range of Modal Logic

This page was built for publication: Hyper arrow logic with indiscernibility and complementarity

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