"An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK."

Erica Calardo, Vladimir V. Rybakov (2007)

Details and statistics

DOI: 10.1093/JIGPAL/JZM010

access: closed

type: Journal Article

metadata version: 2020-03-06