Proof systems for hybrid logic typically use @-operators to access information hidden behind modalities; this labeling approach lies at the heart of most resolution, natural deduction, and tableau systems for hybrid logic. But there is another, less well-known approach, which we have come to believe is conceptually clearer. We call this Seligman-style inference, as it was first introduced and e...

We address the mathematical foundations of the ontology coordination problem and investigate to which extend the Barwise-Seligman theory of information flow may provide a faithful theoretical description of the problem. We give a formalisation of the coordination of populated ontologies based on instance exchange that captures progressive partial semantic integration. We also discuss the insigh...

Positive accomplishment is defined as the development of individual potential through striving for and achieving meaningful outcomes. Positive accomplishment involves the capacity to work towards meaningful goals, the motivation to persist despite challenges and setbacks, and the achievement of competence and success in important life domains. Seligman (2011) defines positive education as tradi...