A Sequent Calculus for Propositional Dynamic Logic for Agents
J. SakalauskaitėVolume:
44
Language:
english
Pages:
7
Journal:
Lithuanian Mathematical Journal
DOI:
10.1023/b:lima.0000046874.58744.c3
Date:
July, 2004
File:
PDF, 82 KB
english, 2004