View in EDS PDF Full Text

Notions of Bisimulation for Heyting-Valued Modal Languages.

Saved in:
Bibliographic Details
Title: Notions of Bisimulation for Heyting-Valued Modal Languages.
Authors: Eleftheriou, Pantelis E.1, Koutras, Costas D.2, Nomikos, Christos3
Source: Journal of Logic & Computation; Apr2012, Vol. 22 Issue 2, p213-235, 23p
Database: Applied Science & Technology Source
Description
ISSN:0955792X
DOI:10.1093/logcom/exq005