research
∙
01/11/2021
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
Definitions of new symbols merely abbreviate expressions in logical fram...
share
research
∙
04/04/2019
Modal Logics for Nominal Transition Systems
We define a general notion of transition system where states and action ...
research
∙
11/27/2012
