Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings 113-130 2018年 [査読有り]
We propose a generalization of first-order logic originating in a neglected
work by C.C. Chang: a natural and generic correspondence language for any types
of structures which can be recast as Set-coalgebras. We discuss axiomatization
and complete...
We study model and frame definability of various modal logics. Let ML(A+)
denote the fragment of modal logic extended with the universal modality in
which the universal modality occurs only positively. We show that a class of
Kripke models is defi...
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. 105-121 2017年 [査読有り]
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, ICAART 2017, Volume 2, Porto, Portugal, February 24-26, 2017. 615-623 2017年 [査読有り]
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings 283-298 2016年 [査読有り]
