Epsilon-invariant substitutions and indefinite descriptions.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 812, doi. 10.1093/jigpal/jzt002
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2013 AND VI 21 AND IP 5
Results: 8
1
2
A proof procedure for adaptive logics.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 743, doi. 10.1093/jigpal/jzs046
- By:
- Publication type:
- Article
3
Conservativity: a necessary property for the maximization of witness sets.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 853, doi. 10.1093/jigpal/jzt018
- By:
- Publication type:
- Article
4
Malinowski modalization, modalization through fibring and the Leibniz hierarchy*.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 836, doi. 10.1093/jigpal/jzt019
- By:
- Publication type:
- Article
5
Reasoning about types of action and agent capabilities.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 703, doi. 10.1093/jigpal/jzs045
- By:
- Publication type:
- Article
6
An algebraic look at filtrations in modal logic.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 788, doi. 10.1093/jigpal/jzt001
- By:
- Publication type:
- Article
7
Two direct proofs that LLPO implies the detachable fan theorem.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 830, doi. 10.1093/jigpal/jzt003
- By:
- Publication type:
- Article
8
On second-order characterizability.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 767, doi. 10.1093/jigpal/jzs047
- By:
- Publication type:
- Article