Search results
From MaRDI portal
- 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
- Guido Sciavicco (section Research outcomes over time)Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation 2013-10-04 Paper Hybrid Metric Propositional Neighborhood Logics with...10 bytes (16 words) - 02:45, 10 December 2023
- Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 2012-07-23 Paper Metric Propositional Neighborhood Logics: Expressiveness...10 bytes (19 words) - 02:45, 10 December 2023
- Davide Bresolin (section Research outcomes over time)Interval Temporal Logic: Towards a Complete Classification 2009-01-27 Paper Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders...10 bytes (17 words) - 19:13, 11 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
- Stéphane P. Demri (section Research outcomes over time)2011-08-26 Paper The complexity of linear-time temporal logic over the class of ordinals 2011-03-08 Paper Complexity of modal logics with Presburger constraints...10 bytes (18 words) - 07:38, 9 December 2023
- Zoran Ognjanović (section Research outcomes over time)2014-10-23 Paper A propositional linear time logic with time flow isomorphic to \(\omega^2\) 2014-04-24 Paper https://portal.mardi4nfdi.de/entity/Q5396490 2014-02-07...10 bytes (16 words) - 12:12, 11 December 2023
- for first order linear temporal logic with UNLESS 2019-10-08 Paper Investigation of finitary calculus for a discrete linear time logic by means of infinitary...10 bytes (17 words) - 04:03, 9 December 2023
- Mariusz Giero (section Research outcomes over time)2014-11-05 Paper The Axiomatization of Propositional Linear Time Temporal Logic 2013-12-03 Paper The Derivations of Temporal Logic Formulas 2013-10-08 Paper The...10 bytes (16 words) - 17:48, 6 October 2023
- 2014-06-30 Paper A propositional linear time logic with time flow isomorphic to \(\omega^2\) 2014-04-24 Paper A First-Order Dynamic Probability Logic 2013-08-05...10 bytes (17 words) - 12:12, 11 December 2023
- Tim French (section Research outcomes over time)2014-06-11 Paper Verifying Temporal Properties in Real Models 2014-01-17 Paper Model Checking General Linear Temporal Logic 2013-10-04 Paper On the succinctness...10 bytes (16 words) - 00:30, 11 December 2023
- theory 2012-06-19 Paper Temporal logics over linear time domains are in PSPACE 2012-05-24 Paper Continuous time temporal logic with counting 2012-05-24...10 bytes (16 words) - 00:32, 10 December 2023
- Amílcar Sernadas (section Research outcomes over time)Synchronization of logics 1997-11-13 Paper A temporal logic approach to object certification 1997-02-27 Paper Object Specification Logic 1995-10-04 Paper...10 bytes (18 words) - 15:01, 11 December 2023
- Pietro Sala (section Research outcomes over time)\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
- axiom of UNITY logic 1994-02-24 Paper Temporal theories as modularisation units for concurrent system specification 1992-09-27 Paper Temporal Reasoning over...10 bytes (19 words) - 19:56, 11 December 2023
- Joseph Boudou (section Research outcomes over time)topological semantics for intuitionistic temporal logic 2020-02-18 Paper Intuitionistic Linear Temporal Logics 2020-02-14 Paper Axiomatization and computability...10 bytes (16 words) - 16:33, 6 October 2023
- Zhenhua Duan (section Research outcomes over time)approach for propositional projection temporal logic 2015-12-11 Paper A complete axiom system for propositional projection temporal logic with cylinder...10 bytes (16 words) - 16:37, 6 October 2023
- Cong Tian (section Research outcomes over time)approach for propositional projection temporal logic 2015-12-11 Paper A complete axiom system for propositional projection temporal logic with cylinder...10 bytes (16 words) - 16:37, 6 October 2023
- Angelo Montanari (section Research outcomes over time)automata for time granularity 2005-04-15 Paper Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity...10 bytes (16 words) - 05:34, 7 October 2023