Следене
Alexander Kurz
Заглавие
Позовавания
Позовавания
Година
Stone coalgebras
C Kupke, A Kurz, Y Venema
Theoretical Computer Science 327 (1), 109-134, 2004
1962004
Specifying coalgebras with modal logic
A Kurz
Theoretical Computer Science 260 (1-2), 119-138, 2001
196*2001
Logics for coalgebras and applications to computer science
A Kurz
BoD–Books on Demand, 2001
1692001
Modal logics are coalgebraic
C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema
The Computer Journal 54 (1), 31-41, 2011
1262011
Bitopological duality for distributive lattices and Heyting algebras
G Bezhanishvili, N Bezhanishvili, D Gabelaia, A Kurz
Mathematical Structures in Computer Science 20 (3), 359-393, 2010
952010
Duality for logics of transition systems
MM Bonsangue, A Kurz
International Conference on Foundations of Software Science and Computation …, 2005
872005
Algebraic semantics for coalgebraic logics
C Kupke, A Kurz, D Pattinson
Electronic Notes in Theoretical Computer Science 106, 219-241, 2004
802004
Multi-type display calculus for dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
Journal of Logic and Computation 26 (6), 2017-2065, 2016
762016
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
692016
Completeness for the coalgebraic cover modality
C Kupke, A Kurz, Y Venema
Logical Methods in Computer Science 8 (3:2), 1-76, 2012
64*2012
Epistemic updates on algebras
AA Kurz, AA Palmigiano
Logical Methods in Computer Science 9, 2013
622013
Multi-type display calculus for propositional dynamic logic
S Frittella, G Greco, A Kurz, A Palmigiano
arXiv preprint arXiv:1805.09144, 2018
612018
A Co-Variety-Theorem for Modal Logic.
A Kurz
Advances in Modal Logic 2, 367-380, 1998
591998
Ultrafilter extensions for coalgebras
C Kupke, A Kurz, D Pattinson
International Conference on Algebra and Coalgebra in Computer Science, 263-277, 2005
562005
A proof-theoretic semantic analysis of dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimić
Journal of Logic and Computation 26 (6), 1961-2015, 2016
542016
Presenting functors by operations and equations
MM Bonsangue, A Kurz
International Conference on Foundations of Software Science and Computation …, 2006
542006
The Goldblatt-Thomason theorem for coalgebras
A Kurz, J Rosický
Algebra and Coalgebra in Computer Science: Second International Conference …, 2007
532007
Dynamic epistemic logic displayed
G Greco, A Kurz, A Palmigiano
International Workshop on Logic, Rationality and Interaction, 135-148, 2013
522013
Observational logic, constructor-based logic, and their duality
M Bidoit, R Hennicker, A Kurz
Theoretical Computer Science 298 (3), 471-510, 2003
522003
Presenting distributive laws
MM Bonsangue, HH Hansen, A Kurz, J Rot
Logical Methods in Computer Science 11, 2015
512015
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20