scientific article; zbMATH DE number 7136664
From MaRDI portal
Publication:4972736
zbMath1442.68108arXiv1803.06752MaRDI QIDQ4972736
Publication date: 26 November 2019
Full work available at URL: https://arxiv.org/abs/1803.06752
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus
- Symmetries, local names and dynamic (de)-allocation of names
- A new approach to abstract syntax with variable binding
- Results on the propositional \(\mu\)-calculus
- On the freeze quantifier in Constraint LTL: Decidability and complexity
- An automata-theoretic approach to constraint LTL
- Finite-memory automata
- Model checking mobile processes
- Model-checking processes with data
- On the Bourbaki–Witt principle in toposes
- Nominal Sets
- Automata theory in nominal sets
- Alternating register automata on finite words and trees
- LTL with the freeze quantifier and register automata
- Alternating automata on data trees and XPath satisfiability
- Temporal Logics of Repeating Values
- Toward Model Theory with Data Values
- The mu-calculus and Model Checking
- Future-Looking Logics on Data Words and Trees
- Automata and Logics for Words and Trees over an Infinite Alphabet
- “Sometimes” and “not never” revisited
- Locally Finite Constraint Satisfaction Problems
- Reasoning about Data Repetitions with Counter Systems
- Temporal Logics with Local Constraints (Invited Talk)
- LOIS: syntax and semantics
- Fresh-register automata
- Multiple-Labelled Transition Systems for nominal calculi and their logics
- Denotational Semantics with Nominal Scott Domains
This page was built for publication:
