Works matching IS 13670751 AND DT 1999 AND VI 7 AND IP 5
Results: 6
Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'.
- Published in:
- 1999
- By:
- Publication type:
- Correction Notice
Conferences. First International Workshop on Hybrid Logic (HyLo'99).
- Published in:
- 1999
- By:
- Publication type:
- Proceeding
Description of modal logics inheriting admissible rules for S4.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 5, p. 655, doi. 10.1093/jigpal/7.5.655
- By:
- Publication type:
- Article
Labelled proof nets for the syntax and semantics of natural languages.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 5, p. 629, doi. 10.1093/jigpal/7.5.629
- By:
- Publication type:
- Article
A dynamic logic of events and states for the interaction between plural quantification and verb aspect in natural language.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 5, p. 591, doi. 10.1093/jigpal/7.5.591
- By:
- Publication type:
- Article
Open default theories over closed domains.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 5, p. 577, doi. 10.1093/jigpal/7.5.577
- By:
- Publication type:
- Article