Works matching IS 13670751 AND DT 2018 AND VI 26 AND IP 5
Results: 6
Projective unification in transitive modal logics.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 548, doi. 10.1093/jigpal/jzy013
- By:
- Publication type:
- Article
A many-sorted variant of Japaridze's polymodal provability logic.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 505, doi. 10.1093/jigpal/jzy012
- By:
- Publication type:
- Article
From forcing to satisfaction in Kripke models of intuitionistic predicate logic.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 464, doi. 10.1093/jigpal/jzy007
- By:
- Publication type:
- Article
Complexity and expressivity of propositional dynamic logics with finitely many variables.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 539, doi. 10.1093/jigpal/jzy014
- By:
- Publication type:
- Article
Approaches of linear operators in the intuitionistic fuzzy 2-Banach spaces.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 453, doi. 10.1093/jigpal/jzy009
- By:
- Publication type:
- Article
Stone duality for lattice expansions.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 475, doi. 10.1093/jigpal/jzy010
- By:
- Publication type:
- Article