Operators vs. arguments: The ins and outs of reification

DOI10.1007/s11229-005-5516-7zbMath1108.03022OpenAlexW2127756433WikidataQ57924090 ScholiaQ57924090MaRDI QIDQ857666

Antony Galton

Publication date: 20 December 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-005-5516-7

zbMATH Keywords

reified temporal logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) History of mathematical logic and foundations (03-03) Temporal logic (03B44)

Related Items

The problem of coincidence in a theory of temporal multiple recurrence, Agent-oriented modeling of the dynamics of biological organisms, SIMULATION AND ANALYSIS OF ADAPTIVE AGENTS: AN INTEGRATIVE MODELING APPROACH, Network reification as a unified approach to represent network adaptation principles within a network, Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, BDI-modelling of complex intracellular dynamics, A PHILOSOPHICAL FOUNDATION FOR UNIFICATION OF DYNAMIC MODELING METHODS BASED ON HIGHER-ORDER POTENTIALITIES AND THEIR REDUCERS, Dynamics, adaptation and control for mental models: a cognitive architecture, Who am I really: an adaptive network model addressing mental models for self-referencing, self-awareness and self-interpretation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Towards a general theory of action and time
• Temporal logics in AI: semantical and ontological considerations
• A non-reified temporal logic
• Bringing them all Together
• Internalization: The Case of Hybrid Logics
• Actions and Events in Interval Temporal Logic
• Reconciling the event calculus with the situation calculus
• A Note on Chronological Logic