The computational complexity of hybrid temporal logics.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 5, p. 653, doi. 10.1093/jigpal/8.5.653
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2000 AND VI 8 AND IP 5
Results: 7
1
2
Editorial.
- Published in:
- 2000
- By:
- Publication type:
- Editorial
3
Model theory of the computably enumerable many-one degrees.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 5, p. 701, doi. 10.1093/jigpal/8.5.701
- By:
- Publication type:
- Article
4
The taming (timing) of the states.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 5, p. 681, doi. 10.1093/jigpal/8.5.681
- By:
- Publication type:
- Article
5
Irrevocable belief revision and epistemic entrenchment.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 5, p. 645, doi. 10.1093/jigpal/8.5.645
- By:
- Publication type:
- Article
6
A cut-free Gentzen formulation of the modal logic S5.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 5, p. 629, doi. 10.1093/jigpal/8.5.629
- By:
- Publication type:
- Article
7
Finite and infinite model theory - a historical perspective.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 5, p. 605, doi. 10.1093/jigpal/8.5.605
- By:
- Publication type:
- Article