Is the semantics of branching structures adequate for chronological modal logics?

zbMath0415.03016MaRDI QIDQ599807

Hirokazu Nishimura

Publication date: 1979

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

semanticsbranching and causal strustureschronological modal logicsnondeterministic timeOckhamist tense logic

Mathematics Subject Classification ID

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

Related Items (1)

Axiomatization of a branching time logic with indistinguishability relations

This page was built for publication: Is the semantics of branching structures adequate for chronological modal logics?