Sciweavers

23 search results - page 1 / 5
» japll 2006
Sort
View
JAPLL
2006
56views more  JAPLL 2006»
13 years 3 months ago
Towards computer aided mathematics
Christoph Benzmüller
JAPLL
2006
68views more  JAPLL 2006»
13 years 3 months ago
Methods for modalities 3
Carlos Areces
JAPLL
2010
74views more  JAPLL 2010»
13 years 2 months ago
Axiomatizing hybrid logic using modal logic
Ian Hodkinson, Louis Paternault
JAPLL
2006
97views more  JAPLL 2006»
13 years 3 months ago
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
Martin Lange