4.5k citations
- The University of MelbourneAU31 papers
- University of VictoriaCA18 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- Victoria University of WellingtonNZ6 papers
- Fudan UniversityCN5 papers
- Monash UniversityAU4 papers
- Tohoku UniversityJP4 papers
- Brookhaven National LaboratoryUS3 papers
- Charles Sturt UniversityAU3 papers
- Charles UniversityCZ3 papers
- Deutsches Elektronen-Synchrotron DESYDE3 papers
- Duke UniversityUS3 papers
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Strong completeness of a first-order temporal logic for real time
Robert Goldblatt
Propositional temporal logic over the real number time flow is finitely axiomatisable, but its first-order counterpart is not recursively axiomatisable. We study the logic that com…
econ.GN2023★ 1 cited
A prototype software framework for transferable computational health economic models and its early application in youth mental health
Matthew P Hamilton, Caroline X Gao, Glen Wiesner +9
We are developing an economic model to explore multiple topics in Australian youth mental health policy. We want that model to be readily transferable to other jurisdictions. We de…