Expressive completeness of modal logic on binary ramified frames

DOI10.1080/11663081.1996.10510891zbMATH Open0976.03018OpenAlexW1963614184MaRDI QIDQ3130048FDOQ3130048

Authors: Bernhard Heinemann 

Publication date: 25 November 2001

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.10510891

Mathematics Subject Classification ID

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

Cites Work

• Temporal logic can be more expressive
• Title not available (Why is that?)

This page was built for publication: Expressive completeness of modal logic on binary ramified frames

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