Sciweavers

JAPLL
2010

Axiomatizing hybrid logic using modal logic

13 years 6 months ago
Axiomatizing hybrid logic using modal logic
Ian Hodkinson, Louis Paternault
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where JAPLL
Authors Ian Hodkinson, Louis Paternault
Comments (0)