Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 3, p. 227, doi. 10.1093/jigpal/12.3.227
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2004 AND VI 12 AND IP 3
Results: 4
1
2
A Way of Making World Quantification Explicit.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 3, p. 199, doi. 10.1093/jigpal/12.3.199
- By:
- Publication type:
- Article
3
The Hybrid Logic of Linear Set Spaces.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 3, p. 181, doi. 10.1093/jigpal/12.3.181
- By:
- Publication type:
- Article
4
The Stable Forking Conjecture in Homogeneous Model Theory.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 3, p. 171, doi. 10.1093/jigpal/12.3.171
- By:
- Publication type:
- Article