An axiomatization of full computation tree logic
From MaRDI portal
Publication:2758043
Recommendations
Cites work
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- Branching-time logic with quantification over branches: The point of view of modal logic
- Decidability for branching time
- Deciding full branching time logic
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- Non-definability of the class of complete bundled trees
- Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
- Testing and generating infinite sequences by a finite automaton
- \(R\)-generability, and definability in branching time logics
Cited in
(42)- Algebraic neighbourhood logic
- A propositional dynamic logic for instantial neighborhood semantics
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- Multi-modal CTL: completeness, complexity, and an application
- A survey on temporal logics for specifying and verifying real-time systems
- Information dynamics and uniform substitution
- A tableau-based decision procedure for CTL\(^*\)
- Probabilistic logics based on Riesz spaces
- A compositional approach to CTL\(^*\) verification
- An approach to infinitary temporal proof theory
- Completeness and decidability results for CTL in constructive type theory
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
- Axiomatization of a branching time logic with indistinguishability relations
- Completeness of a branching-time logic with possible choices
- Quantification over sets of possible worlds in branching-time semantics
- Системы временной логики I: моменты, истории, деревья
- A Labeled Natural Deduction System for a Fragment of CTL *
- Axiomatising extended computation tree logic
- Completeness and complexity of multi-modal CTL
- A propositional linear time logic with time flow isomorphic to \(\omega^2\)
- Propositional \(\text Q\)-logic
- Intention as commitment toward time
- Axiomatising extended computation tree logic
- An axiomatization of PCTL*
- Decidability and expressivity of Ockhamist propositional dynamic logics
- A complete axiomatisation for quantifier-free separation logic
- scientific article; zbMATH DE number 2015275 (Why is no real title available?)
- From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL
- (Heterogeneous) structured specifications in logics without interpolation
- Rewrite rules for \(\mathrm{CTL}^\ast\)
- Axiomatising tree-interpretable structures
- Deductive verification of alternating systems
- Sublogics of a branching time logic of robustness
- A rooted tableau for \(\mathrm{BCTL}^*\)
- Mathematical modal logic: A view of its evolution
- scientific article; zbMATH DE number 7407777 (Why is no real title available?)
- A decision procedure for \(\mathrm{CTL}^{*}\) based on tableaux and automata
- Probabilistic Temporal Logics
- Probabilistic temporal logic with countably additive semantics
- Branching time? Pruning time!
- Deontic action logic, atomic Boolean algebras and fault-tolerance
- Verifying Time and Communication Costs of Rule-Based Reasoners
This page was built for publication: An axiomatization of full computation tree logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758043)
