The following pages link to Roberto Ciuni (Q622621):
Displayed 16 items.
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Conditional doxastic logic with oughts and concurrent upgrades (Q1679768) (← links)
- Modeling the interaction of computer errors by four-valued contaminating logics (Q2303584) (← links)
- (Q2856075) (← links)
- Relevant Logics Obeying Component Homogeneity (Q3121048) (← links)
- Normality operators and classical recapture in many-valued logic (Q3386889) (← links)
- Attributing Distributed Responsibility in Stit Logic (Q3655219) (← links)
- (Q4648940) (← links)
- The abundance of the future. A paraconsistent approach to future contingents (Q4982335) (← links)
- (Q5197391) (← links)
- Logics based on linear orders of contaminating values (Q5213389) (← links)
- (Q5215771) (← links)
- (Q5224661) (← links)
- Stit Logics, Games, Knowledge, and Freedom (Q5249685) (← links)
- (Q5354796) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)