Keyword:hybrid logic

Publications
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic Max Wisniewski and Alexander Steen In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
An analogue of Bull's theorem for Hybrid Logic Claudette Robinson and Willem Conradie In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements Tsan-Sheng Hsu, Churn-Jung Liau and Da-Wei Wang In:Turing-100. The Alan Turing Centenary