Monodic first-order temporal logics: complexity, tableaux, and applications

Kontchakov, Roman (2004) Monodic first-order temporal logics: complexity, tableaux, and applications. Doctoral thesis, Kings College, London, UK.

Full text not available from this repository.

Metadata

Item Type:	Previously completed thesis (Doctoral)
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	11 May 2021 18:03
Last Modified:	09 Aug 2023 12:50
URI:	https://eprints.bbk.ac.uk/id/eprint/44227

Statistics

Archive Staff Only (login required)