W Conradie | TU Delft Repository

Library

local_library Home Repository

WC

W Conradie

Book chapter (1)

Conference paper (1)

Journal article (1)

3 records found

1

Algorithmic correspondence for intuitionistic modal mu-calculus

Journal article (2015) - W Conradie (author) , Y Fomatati (author) , Alessandra Palmigiano (author) , S Sourabh (author)

Probabilistic epistemic updates on algebras

Conference paper (2015) - W Conradie (author) , S Frittella (author) , A. Palmigiano (author) , A Tzimoulis (author)

Unified correspondence

Book chapter (2014) - W Conradie (author) , S Ghilardi (author) , A. Palmigiano (author)