An algebraic generalization of Kripke structures

Mathematical Proceedings of the Cambridge Philosophical Society 2008 / 11 Vol. 145; Iss. 3

An algebraic generalization of Kripke structures

MARCELINO, SÉRGIO, RESENDE, PEDRO
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
145
Language:
english
Journal:
Mathematical Proceedings of the Cambridge Philosophical Society
DOI:
10.1017/s0305004108001667
Date:
November, 2008
File:
PDF, 241 KB
english, 2008
Conversion to is in progress
Conversion to is failed