The following pages link to On some \(U,S\)-tense logics (Q1104920):
Displaying 11 items.
- An axiomatization for until and since over the reals without the IRR rule (Q1207338) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- A distinguishable model theorem for the minimal \(\text{US}\)-tense logic (Q1913633) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- Tracking and managing deemed abilities (Q2695376) (← links)
- ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR (Q4295236) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Телеология и целенаправленное поведение: логический анализ (Q5882765) (← links)
- Duality and completeness for US-logics (Q5937817) (← links)
