Concepedia
Theoretical Computer Science · 1988 · 49 citations · 2 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicFirst-order LogicModel CheckingModel TheoryNon-classical LogicPredicate LogicTemporal LogicEventuality StructureFirst-order Logic ReasoningFirst-order Temporal Logic
2
Concerning the semantic consequence relation in first-order temporal logic
Andrzej Szałas · Theoretical Computer Science · 1986 · 52 citations
Humanities, Computer Science, Formal Methods +11
A generalized nexttime operator in temporal logic
F. Kröger · Journal of Computer and System Sciences · 1984 · 10 citations
Humanities, Computer Science, Formal Methods +6