The following pages link to Pedro Baltazar (Q2254551):
Displaying 7 items.
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Exogenous Probabilistic Computation Tree Logic (Q2870286) (← links)
- QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS (Q3534212) (← links)
- Temporalization of Probabilistic Propositional Logic (Q3605519) (← links)
- (Q3615303) (← links)
- (Q4986741) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
