Found: 12
Select item for more details and to access through your institution.
Analogues of Bull's theorem for hybrid logic.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 281, doi. 10.1093/jigpal/jzy039
- By:
- Publication type:
- Article
Categories: How I Learned to Stop Worrying and Love Two Sorts.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 266
- By:
- Publication type:
- Article
An algebraic look at filtrations in modal logic.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 788, doi. 10.1093/jigpal/jzt001
- By:
- Publication type:
- Article
Canonicity results for mu-calculi: an algorithmic approach.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 3, p. 705, doi. 10.1093/logcom/exx011
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 3, p. 607, doi. 10.1093/logcom/exx013
- By:
- Publication type:
- Article
On Sahlqvist theory for hybrid logics.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 3, p. 867, doi. 10.1093/logcom/exv045
- By:
- Publication type:
- Article
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA.
- Published in:
- Journal of Logic & Computation, 2006, v. 16, n. 5, p. 579, doi. 10.1093/logcom/exl026
- By:
- Publication type:
- Article
Spatial heterogeneity of 2015-2017 drought intensity in South Africa's winter rainfall zone.
- Published in:
- Advances in Statistical Climatology, Meteorology & Oceanography (ASCMO), 2022, v. 8, n. 1, p. 63, doi. 10.5194/ascmo-8-31-2022
- By:
- Publication type:
- Article
Spatial heterogeneity in rain-bearing winds, seasonality and rainfall variability in southern Africa's winter rainfall zone.
- Published in:
- Advances in Statistical Climatology, Meteorology & Oceanography (ASCMO), 2022, v. 8, n. 1, p. 31, doi. 10.5194/ascmo-8-31-2022
- By:
- Publication type:
- Article
Reframing purpose and conceptions of success for a post-Covid-19 South African higher education.
- Published in:
- SOTL in the South, 2022, v. 6, n. 1, p. 33, doi. 10.36615/sotls.v6i1.222
- By:
- Publication type:
- Article
AN INTEGRATED FIRST-ORDER THEORY OF POINTS AND INTERVALS OVER LINEAR ORDERS (PART II).
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 2, p. 1, doi. 10.23638/LMCS-16(2:1)2020
- By:
- Publication type:
- Article
CONSTRUCTIVE CANONICITY OF INDUCTIVE INEQUALITIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 3, p. 1, doi. 10.23638/LMCS-16(3:8)2020
- By:
- Publication type:
- Article