Login / Signup
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics.
Linh Anh Nguyen
Published in:
CS&P (2018)
Keyphrases
</>
propositional dynamic logic
factors influencing
expressive power
information systems
modal logic
conditional logic