Pages that link to "Item:Q5247347"
From MaRDI portal
The following pages link to COMPLETENESS OF ÅQVIST’S SYSTEMS <b>E</b> AND <b>F</b> (Q5247347):
Displaying 6 items.
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. (Q1425262) (← links)
- Unsettling preferential semantics (Q1986085) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- βη-complete models for System <i>F</i> (Q4405696) (← links)
- On some weakened forms of transitivity in the logic of conditional obligation (Q6544539) (← links)
- Conditional normative reasoning as a fragment of HOL (Q6650731) (← links)