Labeled Natural Deduction for Temporal Logics (original) (raw)
Related papers
Labelled natural deduction for a bundled branching temporal logic
A Labeled Deduction System for the Logic UB
Natural Deduction Calculus for Linear-Time Temporal Logic
Vasilyi Shangin, artie basukoski
Lecture Notes in Computer Science, 2006
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic
Arithmetical axiomatization of first-order temporal logic
Information Processing Letters, 1987
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Logic Journal of IGPL, 2006
Annotation-based deduction in temporal logic
Lecture Notes in Computer Science, 1994
Labeled Natural Deduction Systems for a Family of Tense Logics (Extended Version
Decidable and undecidable fragments of first-order branching temporal logics
2002
Natural Deduction Calculus for Quantified Propositional Linear-time Temporal Logic. Technical Report
An infinite hierarchy of temporal logics over branching time
2001
Labeled Natural Deduction Systems for a Family of Tense Logics
2008 15th International Symposium on Temporal Representation and Reasoning, 2008
A modular, tactic-based approach to first-order temporal theorem proving
2000
Natural Deduction Calculus for Quantified Propositional Linear-time Temporal Logic (QPTL)
An extended branching-time Ockhamist temporal logic
1999
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
2002
Cyclic Proofs for Linear Temporal Logic
A natural deduction approach to dynamic logic
Lecture Notes in Computer Science, 1996
Automated Natural Deduction for Propositional Linear-Time Temporal Logic
14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007
Branching-Time Temporal Logics with Minimal Model Quantifiers
Lecture Notes in Computer Science, 2009
A Temporal Semantics for Basic Logic
Studia Logica, 2009
Temporal Logics with Language Parameters
Lecture Notes in Computer Science, 2021
Timed Context-Free Temporal Logics
Electronic Proceedings in Theoretical Computer Science, 2018
On the strength of temporal proofs
Theoretical Computer Science, 1991
Natural Deduction Calculus for Computation Tree Logic
IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06), 2006
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
2009
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
From Linear Temporal Logic Properties to Rewrite Propositions
Lecture Notes in Computer Science, 2012
Implicates and Reduction Techniques for Temporal Logics
Lecture Notes in Computer Science, 1998
First-order logics of branching time: on expressive power of temporal operators
2013
First Order Linear Temporal Logic over Finite Time Structures
Lecture Notes in Computer Science, 1999
2003
Combining linear-time temporal logic with constructiveness and paraconsistency
Journal of Applied Logic, 2010
Normal Forms and Proofs in Combined Modal and Temporal Logics
2000