The following pages link to (Q5711930):
Displaying 8 items.
- First-order intensional logic (Q598308) (← links)
- FOIL axiomatized (Q865042) (← links)
- Modality in argumentation. A semantic investigation of the role of modalities in the structure of arguments with an application to Italian modal expressions (Q1625588) (← links)
- Distributed first order logic (Q1686336) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014 (Q2353900) (← links)
- Counterpart theories for everyone (Q2690141) (← links)
- (Q5413335) (← links)
