Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q2791891 2016-03-16 Paper Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability...10 bytes (16 words) - 18:32, 12 December 2023
- E. Allen Emerson (section Research outcomes over time)full branching time logic 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5184412 1984-01-01 Paper Alternative semantics for temporal logics 1983-01-01...10 bytes (19 words) - 03:23, 9 December 2023
- Alberto Zanardo (section Research outcomes over time)and logics of agency 2014-06-19 Paper Completeness of a branching-time logic with possible choices 2011-02-03 Paper From Linear to Branching-Time Temporal...10 bytes (16 words) - 04:14, 7 October 2023
- Fabio Mogavero (section Research outcomes over time)2010-08-24 Paper Balanced Paths in Colored Graphs 2009-10-16 Paper Branching-Time Temporal Logics with Minimal Model Quantifiers 2009-07-07 Paper...10 bytes (16 words) - 03:06, 25 September 2023
- in modal logic 2000-09-28 Paper An extended branching-time Ockhamist temporal logic 1999-05-11 Paper Hierarchies of modal and temporal logics with reference...10 bytes (18 words) - 02:45, 10 December 2023
- Régis Gascon (section Research outcomes over time)2008-12-12 Paper Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints 2008-05-27 Paper A Decidable Temporal Logic of Repeating Values...10 bytes (16 words) - 00:59, 25 September 2023
- Araceli Acosta (section Research outcomes over time)Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization 2012-11-06 Paper dCTL: A Branching Time Temporal Logic for Fault-Tolerant System...10 bytes (16 words) - 16:40, 6 October 2023
- Cecilia Kilmurray (section Research outcomes over time)Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization 2012-11-06 Paper dCTL: A Branching Time Temporal Logic for Fault-Tolerant System...10 bytes (16 words) - 03:50, 7 October 2023
- Alexander Bolotov (section Research outcomes over time)2006-06-30 Paper A clausal resolution method for CTL branching-time temporal logic 1999-01-01 Paper...10 bytes (16 words) - 10:51, 24 September 2023
- Aniello Murano (section Research outcomes over time)2010-01-14 Paper Balanced Paths in Colored Graphs 2009-10-16 Paper Branching-Time Temporal Logics with Minimal Model Quantifiers 2009-07-07 Paper Program Complexity...10 bytes (17 words) - 12:14, 7 October 2023
- Nazareno Aguirre (section Research outcomes over time)Verifying Declarative Fluent Temporal Logic Properties of Workflows 2012-11-06 Paper dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification...10 bytes (17 words) - 02:50, 7 October 2023
- Edmund M. Clarke (section Research outcomes over time)Paper DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC 2008-07-15 Paper Computing Differential Invariants of Hybrid...10 bytes (20 words) - 06:27, 9 December 2023
- Mark A. Brown (section Research outcomes over time)agents in time 2001-07-11 Paper https://portal.mardi4nfdi.de/entity/Q4938870 2000-02-23 Paper An extended branching-time Ockhamist temporal logic 1999-05-11...10 bytes (18 words) - 11:34, 12 December 2023
- Clare Dixon (section Research outcomes over time)2019-11-22 Paper Sublogics of a branching time logic of robustness 2019-05-02 Paper Search strategies for resolution in temporal logics 2019-01-15 Paper Theorem...10 bytes (17 words) - 15:28, 24 September 2023
- Pablo F. Castro (section Research outcomes over time)and branching time specifications 2012-10-11 Paper Towards a First-Order Deontic Action Logic 2012-06-08 Paper dCTL: A Branching Time Temporal Logic for...10 bytes (18 words) - 12:20, 7 October 2023
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge 2022-04-06 Paper Branching time logics with multiagent temporal accessibility...10 bytes (19 words) - 17:23, 11 December 2023
- Orna Grumberg (section Research outcomes over time)1999-01-01 Paper Branching-time temporal logic and tree automata 1996-12-12 Paper Buy one, get one free!!! 1996-11-17 Paper Verification of temporal properties...10 bytes (17 words) - 00:32, 10 December 2023
- Ullrich Hustadt (section Research outcomes over time)resolution calculus for the branching-time temporal logic CTL 2014-04-16 Paper First-Order Resolution Methods for Modal Logics 2013-04-19 Paper Computational...10 bytes (17 words) - 12:07, 6 October 2023
- Laura Bozzelli (section Research outcomes over time)Paper Model checking interval temporal logics with regular expressions 2020-05-26 Paper Alternating-time temporal logics with linear past 2020-04-21 Paper...10 bytes (16 words) - 07:56, 7 October 2023
- Stéphane P. Demri (section Research outcomes over time)Paper The complexity of linear-time temporal logic over the class of ordinals 2011-03-08 Paper Complexity of modal logics with Presburger constraints 2010-09-15...10 bytes (18 words) - 07:38, 9 December 2023