Nudge-based misinformation interventions are effective in information environments with low misinformation prevalence Information modelling for databases and object-oriented information systems avails of conceptual data modelling languages such as EER and UML Class Diagrams.Many attempts exist to add logical rigour to them, for various reasons and with disparate strengths.In this paper we aim to provide a structured overview of the many efforts.We focus on aims, Inter- and transdisciplinary scenario construction to explore future land-use options in southern Amazonia approaches to the formalisation, including key dimensions of choice points, popular logics used, and the main relevant reasoning services.We close with current challenges and research directions.