ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Education
Economy
Social Sciences
Literature
Languages
Technology
Research
Philosophy
Architecture and Urbanism
Pure sciences
all records (74)

Languages
English
Spanish
Portuguese
German
French

Countries
Indonesia
Brazil
USA
Cuba
Spain
Ukraine
Argentina
Poland
South Africa
Chile
all records (77)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
28.777  Articles
1 of 2.879 pages  |  10  records  |  more records»
The modal logic S4.2 is S4 with the additional axiom ??A ? ??A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable ... see more

This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only on which of ... see more

This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only on which of thefollowing formulas ... see more

In this paper we show the possibility to formalize the design process by means of one type of non-standard logic - modal logic [1]. The type chosen for this study is modal logic S4. The reason for this choice is the ability of this formalism to describe m... see more

Buscando interpretar certas sentenças modalizadas em ciências histórias, este artigo estabelece diferentes sentidos de “necessidade” e “possibilidade” e, dentro de lógicas temporais ramificadas para o passado, visa especialmente distinguir logicamente tra... see more

Natural languages can express some logical propositions that humans are able to understand. We illustrate this fact with a famous text that Conan Doyle attributed to Holmes: "It is an old maxim of mine that when you have excluded the impossible, whatever ... see more

In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] that there is a correspondence betwe... see more

In ‘Semantical Considerations on Modal Logic’, Kripke articulates his project in the discourse of “possible worlds”. There has been much philosophical discussion of whether endorsement of the Kripke semantics brings ontological commitment to possible worl... see more

The purpose of this paper is to give a formal account of a kind of agency so far neglected in the field of philosophical modal logic of action: planning agency. In doing this we follow the standard approach of modal logics of agency exemplified by the wor... see more

1 of 2.879 pages  |  10  records  |  more records»