An axiomatization of full computation tree logic
From MaRDI portal
(Redirected from 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
(43)- Deontic action logic, atomic Boolean algebras and fault-tolerance
- scientific article; zbMATH DE number 7407777 (Why is no real title available?)
- A decision procedure for \(\mathrm{CTL}^{*}\) based on tableaux and automata
- A propositional dynamic logic for instantial neighborhood semantics
- Системы временной логики I: моменты, истории, деревья
- Probabilistic temporal logic with countably additive semantics
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics
- A survey on temporal logics for specifying and verifying real-time systems
- Sublogics of a branching time logic of robustness
- Verifying Time and Communication Costs of Rule-Based Reasoners
- Axiomatising tree-interpretable structures
- Completeness and decidability results for CTL in constructive type theory
- Axiomatization of a branching time logic with indistinguishability relations
- scientific article; zbMATH DE number 2015275 (Why is no real title available?)
- A complete axiomatisation for quantifier-free separation logic
- A tableau-based decision procedure for CTL^*
- An approach to infinitary temporal proof theory
- Axiomatising extended computation tree logic
- (Heterogeneous) structured specifications in logics without interpolation
- Axiomatising extended computation tree logic
- Propositional Q-logic
- Decidability and expressivity of Ockhamist propositional dynamic logics
- A rooted tableau for \(\mathrm{BCTL}^*\)
- A propositional linear time logic with time flow isomorphic to ^2
- Mathematical modal logic: A view of its evolution
- Probabilistic logics based on Riesz spaces
- Completeness of a branching-time logic with possible choices
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- Completeness and complexity of multi-modal CTL
- From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL
- Multi-modal CTL: completeness, complexity, and an application
- Next-time coalition logic
- A compositional approach to CTL^* verification
- An axiomatization of PCTL*
- Algebraic neighbourhood logic
- Intention as commitment toward time
- Deductive verification of alternating systems
- A Labeled Natural Deduction System for a Fragment of CTL *
- Information dynamics and uniform substitution
- Branching time? Pruning time!
- Rewrite rules for \(\mathrm{CTL}^\ast\)
- Quantification over sets of possible worlds in branching-time semantics
- Probabilistic Temporal Logics
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)
