3 citations · 5 across the 6 of their papers we have counts for
4 papers · 1 filter
Decision and optimization problems in the Unreliable-Circuit Logic
J. Rasga, C. Sernadas, P. Mateus +1
The ambition constrained validity and the model witness problems in the logic UCL, for reasoning about circuits with unreliable gates, are analyzed. Moreover, two additional proble…
Probabilistic logic of quantum observations
A. Sernadas, J. Rasga, C. Sernadas +2
A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for…
On probability and logic
Joao Rasga, Cristina Sernadas, Amilcar Sernadas
Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations. A novel notion of probabilistic entail…
Preservation of admissible rules when combining logics
Joao Rasga, Cristina Sernadas, Amilcar Sernadas
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 co…