Publications
Export 3 results:
Author Title [ Type
] Year Filters: Author is Kurtonina, Natasha [Clear All Filters]
. 1997. “Simulating Without Negation.”. Journal of logic and computation 7: 501–522.
. 1999. “Embedding And Interpolation For Some Paralogics. The Propositional Case”. Reports on Mathematical Logic 33: 29–44.
. 1997. “Bisimulations For Temporal Logic”. Journal of Logic, Language and Information 6: 403–425.