A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions
J. SakalauskaiteVolume:
45
Language:
english
Pages:
8
Journal:
Lithuanian Mathematical Journal
DOI:
10.1007/s10986-005-0025-4
Date:
April, 2005
File:
PDF, 204 KB
english, 2005