Zobrazeno 1 - 10
of 66
pro vyhledávání: '"Rasga, João"'
Autor:
Rasga, João1,2 joao.rasga@tecnico.ulisboa.pt, Sernadas, Cristina1,2 cristina.sernadas@tecnico.ulisboa.pt
Publikováno v:
Bulletin of the Section of Logic. Sep2024, Vol. 53 Issue 3, p321-344. 24p.
The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in pa
Externí odkaz:
http://arxiv.org/abs/1907.06541
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.
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2021 121
Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations. A novel notion of probabilistic entailment enjoying desirable properties of logical consequence is proposed
Externí odkaz:
http://arxiv.org/abs/1601.02915
Publikováno v:
The Review of Symbolic Logic, Volume 9, Issue 4 December 2016, pp. 641-663
Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics. Structural completeness and decidability of the set of
Externí odkaz:
http://arxiv.org/abs/1601.02905
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.
Publikováno v:
The Journal of Symbolic Logic, 2002 Dec 01. 67(4), 1541-1569.
Externí odkaz:
https://www.jstor.org/stable/3648586
Autor:
Oliveira, Daniel1 (AUTHOR) Daniel.r.oliveira@ist.utl.pt, Rasga, João2 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Jun2021, Vol. 29 Issue 3, p251-302. 52p.
Autor:
Rasga, João1 (AUTHOR), Sernadas, Cristina1 (AUTHOR) csernadas@gmail.com, Karafili, Erisa2 (AUTHOR), Viganò, Luca3 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Jun2021, Vol. 29 Issue 3, p303-332. 30p.