Pages that link to "Item:Q4713419"

The following pages link to An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers (Q4713419):

Displaying 38 items.

• Metric temporal logic revisited (Q266865) (← links)
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
• The complexity of temporal logic over the reals (Q636345) (← links)
• Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← 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)
• An axiomatization for until and since over the reals without the IRR rule (Q1207338) (← links)
• A system of dynamic modal logic (Q1267078) (← links)
• Modal logic with names (Q1310624) (← links)
• Adding a temporal dimension to a logic system (Q1314287) (← links)
• Axiomatisation and decidability of \(F\) and \(P\) in cyclical time (Q1319266) (← links)
• Some first-order probability logics (Q1583250) (← 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)
• Branching time logics with multiagent temporal accessibility relations (Q2030777) (← links)
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
• Multiagent temporal logics, unification problems, and admissibilities (Q2160194) (← links)
• Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
• Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922) (← links)
• A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
• Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
• Synthesis for continuous time (Q2355696) (← links)
• Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
• Metric temporal reasoning with less than two clocks (Q2901203) (← links)
• Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
• Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
• Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
• (Q4966050) (← links)
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
• Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility (Q5214739) (← links)
• Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility (Q5283440) (← links)
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
• Axioms for real-time logics (Q5958467) (← links)
• Reasoning about knowledge and conditional probability (Q6064254) (← links)
• Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
• Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)