On the characterizability of the frames for the ``unpreventability of the present and the past
From MaRDI portal
Publication:1092034
DOI10.1305/ndjfl/1093636769zbMath0624.03017OpenAlexW1986076408MaRDI QIDQ1092034
Publication date: 1986
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636769
Related Items (2)
Branching-time logic with quantification over branches: The point of view of modal logic ⋮ Combinations of tense and modality for predicate logic
This page was built for publication: On the characterizability of the frames for the ``unpreventability of the present and the past