منابع مشابه
The true modal logic
For Arthur Prior, the construction of a logic was a supremely philosophical task. As a logician, he could of course appreciate a finely crafted formal system for its own sake, independent of its " meaning " or philosophical significance. But a genuine logic-a good one, at least-lays bare the nature of those concepts that it purports to be a logic of: and this comes only by way of deep rellec-ti...
متن کاملThe Modal Logic of Forcing
A set theoretical assertion ψ is forceable or possible, written ♦ψ, if ψ holds in some forcing extension, and necessary, written ψ, if ψ holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory S4.2.
متن کاملThe Modal Logic of Inequality
We consider some modal languages with a modal operator D whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at. ?
متن کاملThe modal logic of agency
In this paper I discuss and develop suggestions concerning how to use systems of modal logic to analyse notions pertaining to agency. In the first part I deal with the accounts of Pörn, Brown, and Belnap, thus motivating the search for a more finegrained framework. The first step in the development of such a framework is the adoption of a rich semantical structure inspired by Gerd Sommerhoff’s ...
متن کاملThe Range of Modal Logic
George Gargov was an active pioneer in the ’Sofia School’ of modal logicians. Starting in the 1970s, he and his colleagues expanded the scope of the subject by introducing new modal expressive power, of various innovative kinds. The aim of this paper is to show some general patterns behind such extensions, and review some very general results that we know by now, 20 years later. We concentrate ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2020
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020320000258