The following pages link to Edi Pavlović (Q830378):
Displayed 8 items.
- A more unified approach to free logics (Q830379) (← links)
- (Q2046874) (redirect page) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Free Logic and the Quantified Argument Calculus (Q5115855) (← links)
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)
- Is, ought, and cut (Q6166130) (← links)