scientific article; zbMATH DE number 1749195
From MaRDI portal
Publication:4532196
zbMath0997.03019MaRDI QIDQ4532196
Publication date: 4 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Temporal logic (03B44)
Related Items (11)
Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ The iterative conception of set. A (bi-)modal axiomatisation ⋮ Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change ⋮ The semantics of social constructivism ⋮ Does branching explain flow of time or the other way around? ⋮ Event-based time-stamped claim logic ⋮ From oughts to goals: a logic for Enkrasia ⋮ The tense logic for Master Argument in Prior's reconstruction ⋮ Temporal logic with accessibility temporal relations generated by time states themselves
This page was built for publication:
