Author: "HODKINSON, IAN P." / Journal: studia logica: an international journal for symbolic logic - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"HODKINSON, IAN P."' showing total 5 results

Start Over Author "HODKINSON, IAN P." Journal studia logica: an international journal for symbolic logic

5 results on '"HODKINSON, IAN P."'

1. The Finite Model Property for Logics with the Tangle Modality

Author: Goldblatt, Robert and Hodkinson, Ian
Published: 2017
Full Text: View/download PDF

2. Sahlqvist Correspondence for Modal mu-calculus

Author: van Benthem, Johan, Bezhanishvili, Nick, and Hodkinson, Ian
Published: 2012
Full Text: View/download PDF

3. All Normal Extensions of S5-squared Are Finitely Axiomatizable

Author: Bezhanishvili, Nick and Hodkinson, Ian
Published: 2004
Full Text: View/download PDF

4. Monodic Packed Fragment with Equality is Decidable

Author: Hodkinson, Ian
Published: 2002
Full Text: View/download PDF

5. Loosely Guarded Fragment of First-Order Logic has the Finite Model Property

Author: Hodkinson, Ian
Published: 2002
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results