Inequality without irreflexivity

DOI10.1080/11663081.1999.10510982zbMath1033.03508OpenAlexW2075257770MaRDI QIDQ4443418

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

completenessaxiomatizationmodal logic of inequality

Mathematics Subject Classification ID

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

Related Items (1)

Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

Cites Work

• Unnamed Item
• Specifying message passing and time-critical systems with temporal logic
• Inaccessible worlds
• Modal logic with names
• 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

This page was built for publication: Inequality without irreflexivity