Works matching IS 13670751 AND DT 2019 AND VI 27 AND IP 4
Results: 11
Proof theory for quantified monotone modal logics.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 478, doi. 10.1093/jigpal/jzz015
- By:
- Publication type:
- Article
Deontic modals and hyperintensionality.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 387, doi. 10.1093/jigpal/jzz011
- By:
- Publication type:
- Article
Sequent calculus for 3-valued paraconsistent logic QMPT0.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 507, doi. 10.1093/jigpal/jzz016
- By:
- Publication type:
- Article
A modal extension of Jaśkowski's discussive logic D<sub>2</sub>.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 451, doi. 10.1093/jigpal/jzz014
- By:
- Publication type:
- Article
An intuitionistic logic for preference relations.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 434, doi. 10.1093/jigpal/jzz013
- By:
- Publication type:
- Article
From positive PDL to its non-classical extensions.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 522, doi. 10.1093/jigpal/jzz017
- By:
- Publication type:
- Article
Editors' introduction: Special issue on non-classical modal and predicate logics.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 385, doi. 10.1093/jigpal/jzz010
- By:
- Publication type:
- Article
A hyperintensional logical framework for deontic reasons.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 411, doi. 10.1093/jigpal/jzz012
- By:
- Publication type:
- Article
Gentzen sequent calculi for some intuitionistic modal logics.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 596, doi. 10.1093/jigpal/jzz020
- By:
- Publication type:
- Article
Semantics for first-order superposition logic.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 570, doi. 10.1093/jigpal/jzz019
- By:
- Publication type:
- Article
Tracking reasons with extensions of relevant logics.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 4, p. 543, doi. 10.1093/jigpal/jzz018
- By:
- Publication type:
- Article