Search results
From MaRDI portal
- projection temporal logic with infinite models 2008-04-03 Paper Operational Semantics of Framed Temporal Logic Programs 2008-03-07 Paper Framed temporal logic...10 bytes (16 words) - 16:37, 6 October 2023
- Environments With Temporal Logic Constraints 2018-06-27 Paper Traffic Network Control From Temporal Logic Specifications 2017-09-21 Paper Temporal Logic Control...10 bytes (17 words) - 14:10, 24 September 2023
- Linear Time Temporal Logic 2013-12-03 Paper The Derivations of Temporal Logic Formulas 2013-10-08 Paper The Properties of Sets of Temporal Logic Subformulas...10 bytes (16 words) - 17:48, 6 October 2023
- Investigation of Interval Temporal Logic Model Checking with Regular Expressions 2019-09-16 Paper Which fragments of the interval temporal logic HS are tractable...10 bytes (16 words) - 12:14, 7 October 2023
- encoding of temporal equilibrium logic 2017-11-09 Paper Temporal logic programs with variables 2017-11-09 Paper Metabolic Pathways as Temporal Logic Programs...10 bytes (16 words) - 10:11, 25 September 2023
- theorem prover 2019-01-08 Paper Temporal Equilibrium Logic with past operators 2018-09-12 Paper Temporal equilibrium logic: a survey 2018-08-28 Paper An...10 bytes (16 words) - 13:01, 7 October 2023
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes 2023-09-27 Paper An interval temporal logic characterization of extended \(\omega\)-regular...10 bytes (16 words) - 11:30, 7 October 2023
- Towards Metric Temporal Answer Set Programming 2020-12-13 Paper eclingo : A Solver for Epistemic Logic Programs 2020-12-13 Paper Temporal logic programs with...10 bytes (16 words) - 10:50, 7 October 2023
- 2020-10-27 Paper Temporal logic with accessibility temporal relations generated by time states themselves 2020-07-21 Paper Linear Temporal Logic with Non-transitive...10 bytes (19 words) - 17:23, 11 December 2023
- 2012-08-05 Paper Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models 2011-10-07 Paper A modal logic framework for reasoning...10 bytes (17 words) - 23:16, 9 December 2023
- Robustness with Temporal Logic 2010-09-29 Paper Approximability of Dodgson's rule 2009-06-17 Paper A Tableau for RoBCTL 2008-10-27 Paper A Temporal Logic of Robustness...10 bytes (20 words) - 04:52, 12 December 2023
- resource-bounded logics 2018-03-26 Paper Separation logic with one quantified variable 2017-10-20 Paper Expressive Completeness of Separation Logic with Two Variables...10 bytes (18 words) - 07:38, 9 December 2023
- Shoham's interval temporal logics 2023-10-31 Paper Alternating (in)dependence-friendly logic 2023-09-21 Paper An interval temporal logic characterization...10 bytes (19 words) - 02:45, 10 December 2023
- 2018-02-08 Paper Selected Temporal Logic Systems: An Attempt at Engineering Evaluation 2016-06-17 Paper Why Systems of Temporal Logic Are Sometimes (Un)useful...10 bytes (16 words) - 00:48, 13 December 2023
- decidable metric temporal logic 2005-06-13 Paper https://portal.mardi4nfdi.de/entity/Q4824483 2004-11-01 Paper Future temporal logic needs infinitely many...10 bytes (17 words) - 02:04, 9 December 2023
- Paper A complete axiomatization of a temporal logic with obligation and robustness 2017-01-31 Paper Metric temporal logic revisited 2016-04-07 Paper Accelerating...10 bytes (19 words) - 02:45, 10 December 2023
- projection temporal logic programs 2010-12-01 Paper Operational semantics of Framed Tempura 2009-01-07 Paper Operational Semantics of Framed Temporal Logic Programs...10 bytes (17 words) - 18:25, 13 December 2023
- Alternating-Time Temporal Logic ATL+ 2014-09-26 Paper The dark side of interval temporal logic: marking the undecidability border 2014-07-11 Paper Logic for physical...10 bytes (18 words) - 02:45, 10 December 2023
- de/entity/Q5109523 2020-05-12 Paper Interval temporal logic decision tree learning 2020-02-18 Paper On coarser interval temporal logics 2019-08-28 Paper Decidability...10 bytes (16 words) - 02:45, 10 December 2023
- fragments of the interval temporal logic HS are tractable in model checking? 2019-03-13 Paper Interval vs. Point Temporal Logic Model Checking 2019-02-07...10 bytes (16 words) - 01:20, 10 December 2023