Works matching IS 13670751 AND DT 2014 AND VI 22 AND IP 1
Results: 9
On the interrelation between systems of spheres and epistemic entrenchment relations.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 126, doi. 10.1093/jigpal/jzt037
- By:
- Publication type:
- Article
An introduction to partition logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 94, doi. 10.1093/jigpal/jzt036
- By:
- Publication type:
- Article
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 39, doi. 10.1093/jigpal/jzt034
- By:
- Publication type:
- Article
Tarski's theorem and liar-like paradoxes.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 24, doi. 10.1093/jigpal/jzt020
- By:
- Publication type:
- Article
A Routley–Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 1, doi. 10.1093/jigpal/jzt017
- By:
- Publication type:
- Article
Applications of ultraproducts: from compactness to fuzzy elementary classes.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 166, doi. 10.1093/jigpal/jzt041
- By:
- Publication type:
- Article
First-order hybrid logic: introduction and survey.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 155, doi. 10.1093/jigpal/jzt039
- By:
- Publication type:
- Article
On an inferential semantics for classical logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 147, doi. 10.1093/jigpal/jzt038
- By:
- Publication type:
- Article
Reasoning about constitutive norms in BDI agents.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 66, doi. 10.1093/jigpal/jzt035
- By:
- Publication type:
- Article