Modal tense logics or temporal logics are important in that they correspond with partial orders and their extensions.
Are there completeness results for quantified temporal logics with the Barcan formula? A survey of results would be most welcome.
$\begingroup$
$\endgroup$
asked Mar 19, 2014 at 12:59
Add a comment
|