Advances in Modal Logic
You are here: AiML.NET : Problem Area


Welcome to the AiML Problem Area. This page contains a list of open problems submitted by researchers world wide. To submit a problem, please contact Frank Wolter at wolter@informatik.uni-leipzig.de.

   1   2  


2
Problem 2


1
Find a suitable classical logic L such that propositional dynamic logic (PDL) is the bisimulation invariant fragment of L.
More details
 
Separator
[Home | Problem Area | Who's Who | Background | Workshops | Volumes | News | Tools]

Advances in Modal Logic
Contact Address

Copyright © 2000
This page was last built on Sun, Jul 16, 2000 at 21:27:02
by Chinaski WorldWide for the AiML Steering Committee