Zobrazeno 1 - 10
of 154
pro vyhledávání: '"semantic tableaux"'
Autor:
Rönnedal, Daniel
Publikováno v:
Organon F. 27(2):187-262
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=874536
Autor:
Daniel Rönnedal
Publikováno v:
Organon F, Vol 27, Iss 2, Pp 187-262 (2020)
In this paper, I will discuss boulesic and deontic logic and the relationship between these branches of logic. By ‘boulesic logic,’ or ‘the logic of the will,’ I mean a new kind of logic that deals with ‘boulesic’ concepts, expressions, s
Externí odkaz:
https://doaj.org/article/c29fe3152aa84251b5000c29ea8bc04a
Autor:
Rönnedal, Daniel
Publikováno v:
Organon F. 26(3):505-536
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=822187
Autor:
Daniel Rönnedal
Publikováno v:
Organon F, Vol 26, Iss 3, Pp 505-536 (2019)
In Symbolic Logic (1932), C. I. Lewis developed five modal systems S1 − S5. S4 and S5 are so-called normal modal systems. Since Lewis and Langford’s pioneering work many other systems of this kind have been investigated, among them the 32 systems
Externí odkaz:
https://doaj.org/article/87da2791e91c471db00b56a6847d6a78
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Willard, Dan E.
Publikováno v:
The Journal of Symbolic Logic, 2002 Mar 01. 67(1), 465-496.
Externí odkaz:
https://www.jstor.org/stable/2695021
Autor:
Willard, Dan E.
Publikováno v:
The Journal of Symbolic Logic, 2001 Jun 01. 66(2), 536-596.
Externí odkaz:
https://www.jstor.org/stable/2695030
Publikováno v:
Teorema: Revista Internacional de Filosofía, 2014 Jan 01. 33(2), 105-119.
Externí odkaz:
https://www.jstor.org/stable/43047611
Publikováno v:
Teorema: Revista Internacional de Filosofía, 2014 Jan 01. 33(2), 89-103.
Externí odkaz:
https://www.jstor.org/stable/43047610
Autor:
Klimek Radosław
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 24, Iss 4, Pp 941-956 (2014)
The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal
Externí odkaz:
https://doaj.org/article/3ace2caf02094dfe83e6217f705170d7