Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Eric Mays

A Modal Temporal Logic for Reasoning About Change

1983English

Related publications

A Modal Logic for Reasoning About Economic Policies

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

A Logic for Reasoning About Counterfactual Emotions

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems

Data and Knowledge Engineering
Information SystemsManagement
1998English

Reflections on Temporal and Modal Logic

Logic and Logical Philosophy
Philosophy
2014English

Robotics, Temporal Logic and Stream Reasoning

English

Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Timing in Music and Modal Temporal Logic

Journal of Mathematics and Music
Computational MathematicsApplied MathematicsSimulationMusicModeling
2007English

Characterising Deadlines in Temporal Modal Defeasible Logic

English

A Capacity-Based Framework Encompassing Belnap-Dunn Logic for Reasoning About Multisource Information

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy