Rewriting logic is a versatile and expressive framework that unifies the specification of concurrent systems with formal reasoning about their behaviour. It allows researchers and practitioners to ...

What is the meaning of language expressions and how to compute or calculate it? In this paper, we give an answer to this question by analysing the meanings of aspects and tenses in natural languages ...

Synthese, Vol. 190, THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION (LORI-III) IN GUANGZHOU (December 2013), pp. 79-102 (24 pages) In classical logic, the proposition expressed by a ...

In the glitzy world of tech, OpenAI’s ChatGPT is undoubtedly stealing the limelight. This A.I. dynamo boasts impressive feats in language generation. But while it might wow with its wordplay, it can ...

It is argued here that the 1648 “Peace of Westphalia,” inaugurating the “secular state,” substituted language for religion as the basis for the state’s project of affectively unifying the nation.