The following pages link to (Q3835817):
Displaying 50 items.
- No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic (Q259068) (← links)
- Time and determinism (Q266653) (← links)
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- Continuous time temporal logic with counting (Q418179) (← links)
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- On Gabbay's temporal fixed point operator (Q673958) (← links)
- The \(k\)-variable property is stronger than H-dimension \(k\) (Q676186) (← links)
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- Temporal logics with incommensurable distances are undecidable (Q879597) (← links)
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
- Arity hierarchy for temporal logics (Q944387) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- Complexity of metric temporal logics with counting and the Pnueli modalities (Q974119) (← links)
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- Temporal connectives versus explicit timestamps to query temporal databases (Q1305921) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- T \(\times\) W completeness (Q1362587) (← links)
- Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Star free expressions over the reals (Q1575940) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- LTL is expressively complete for Mazurkiewicz traces (Q1608324) (← links)
- A theory of hypermodal logics: Mode shifting in modal logic (Q1610618) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714) (← links)
- Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (Q1709455) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- Axiomatizing the monodic fragment of first-order temporal logic (Q1849866) (← links)
- A two-level temporal logic for evolving specifications. (Q1853062) (← links)
