The following pages link to (Q4873975):
Displaying 12 items.
- The complexity of temporal logic over the reals (Q636345) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- First order logic without equality on relativized semantics (Q1791054) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- Atoms in infinite dimensional free sequence-set algebras (Q2328129) (← links)
- Synthesis for continuous time (Q2355696) (← links)
- On a new semantics for first-order predicate logic (Q2363414) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Temporal Logic of Minkowski Spacetime (Q5027245) (← links)
