Works matching IS 13670751 AND DT 2019 AND VI 27 AND IP 5
Results: 9
Remarks about the unification type of several non-symmetric non-transitive modal logics.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 639, doi. 10.1093/jigpal/jzy078
- By:
- Publication type:
- Article
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 766, doi. 10.1093/jigpal/jzz004
- By:
- Publication type:
- Article
Preservation of choice principles under realizability.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 746, doi. 10.1093/jigpal/jzz002
- By:
- Publication type:
- Article
Locally finite monoids in finitely based varieties.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 743, doi. 10.1093/jigpal/jzz001
- By:
- Publication type:
- Article
Game-theoretic semantics for non-distributive logics.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 718, doi. 10.1093/jigpal/jzy079
- By:
- Publication type:
- Article
Unification in first-order transitive modal logic.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 693, doi. 10.1093/jigpal/jzy077
- By:
- Publication type:
- Article
The computational content of atomic polymorphism.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 625, doi. 10.1093/jigpal/jzy076
- By:
- Publication type:
- Article
Forcing and satisfaction in Kripke models of intuitionistic arithmetic.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 659, doi. 10.1093/jigpal/jzy075
- By:
- Publication type:
- Article
Justification announcements in discrete time. Part II: Frame definability results.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 671, doi. 10.1093/jigpal/jzy074
- By:
- Publication type:
- Article