Inequality without irreflexivity

DOI10.1080/11663081.1999.10510982MaRDI QIDQ4443418zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani

Publication date 13 January 2004

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

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

zbMATH Keywords

axiomatizationcompletenessmodal logic of inequality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• The modal logic of inequality
• On the Independent Axiomatizability of Modal and Intermediate Logics
• Axiomatizations with context rules of inference in modal logic
• A hybridization of irreflexive modal logics
• Reflexive-insensitive modal logics

Cites work

• Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991
• scientific article; zbMATH DE number 1536552 (Why is no real title available?)
• Inaccessible worlds
• Modal logic with names
• Specifying message passing and time-critical systems with temporal logic

Cited in

(1)

• Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

This page was built for publication: Inequality without irreflexivity

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