Amanote Research
Register
Sign In
A Modal Temporal Logic for Reasoning About Change
doi 10.3115/981311.981319
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1983
Authors
Eric Mays
Publisher
Association for Computational Linguistics
Related search
A Modal Logic for Reasoning About Economic Policies
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Logic for Reasoning About Counterfactual Emotions
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems
Data and Knowledge Engineering
Information Systems
Management
Reflections on Temporal and Modal Logic
Logic and Logical Philosophy
Philosophy
Robotics, Temporal Logic and Stream Reasoning
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Timing in Music and Modal Temporal Logic
Journal of Mathematics and Music
Computational Mathematics
Applied Mathematics
Simulation
Music
Modeling
Characterising Deadlines in Temporal Modal Defeasible Logic
A Capacity-Based Framework Encompassing Belnap-Dunn Logic for Reasoning About Multisource Information
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
