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
Works matching IS 13670751 AND DT 2019 AND VI 27 AND IP 4
Results: 11
1
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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