Separation in nonlinear time models

DOI10.1016/S0019-9958(85)80059-0MaRDI QIDQ4726222zbMATH OpenFDO

Authors Amihood Amir

Publication date 1985

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(85)80059-0

zbMATH Keywords

branching timeexpressive completenessfunctional completenessnonlinear timetense logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Recommendations

• Preservation of expressive completeness in temporal models
• Expressive completeness of temporal logic of trees
• Expressive completeness for metric temporal logic
• Expressive completeness failure in branching time structures
• scientific article; zbMATH DE number 757647

Cited in

(8)

• Preservation of expressive completeness in temporal models
• On some U,S-tense logics
• Finite \(H\)-dimension does not imply expressive completeness
• A nonlinear model for time
• A distinguishable model theorem for the minimal \(\text{US}\)-tense logic
• Separation -- past, present, and future
• scientific article; zbMATH DE number 510781 (Why is no real title available?)
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic

This page was built for publication: Separation in nonlinear time models

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