19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012).
- Published in:
- 2014
- Publication type:
- Proceeding
Works matching IS 13670751 AND DT 2014 AND VI 22 AND IP 4
Results: 11
1
2
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 585, doi. 10.1093/jigpal/jzt052
- By:
- Publication type:
- Article
3
Dualities for modal N4-lattices.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 608, doi. 10.1093/jigpal/jzu002
- By:
- Publication type:
- Article
4
Decomposition of multiple AGM contraction: possibility and impossibility results.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 696, doi. 10.1093/jigpal/jzu014
- By:
- Publication type:
- Article
5
Semantic analysis of non-reflexive logics.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 565, doi. 10.1093/jigpal/jzt050
- By:
- Publication type:
- Article
6
A first-order probabilistic logic with approximate conditional probabilities.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 539
- By:
- Publication type:
- Article
7
Signalling in independence-friendly logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 638, doi. 10.1093/jigpal/jzu004
- By:
- Publication type:
- Article
8
Projective formulas and unification in linear temporal logic LTLU.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 665, doi. 10.1093/jigpal/jzu005
- By:
- Publication type:
- Article
9
A cut-free sequent calculus for relevant logic RW*.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 673
- By:
- Publication type:
- Article
10
A paraconsistent 3-valued logic related to Gödel logic G3.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 515, doi. 10.1093/jigpal/jzt046
- By:
- Publication type:
- Article
11
Interpolation property and homogeneous structures.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 4, p. 597, doi. 10.1093/jigpal/jzt051
- By:
- Publication type:
- Article