Many-Dimensional Modal Logic of Tense and Temporal Interval and Its Decidability

Transactions of the Japanese Society for Artificial Intelligence - Japan
doi 10.1527/tjsai.21.257
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Japanese Society for Artificial Intelligence

Related search

Reflections on Temporal and Modal Logic

Logic and Logical Philosophy
Philosophy
2014English

Statements About Events Modal and Tense Analysis in Medieval Logic

Vivarium
PhilosophyHistory
1983English

Timing in Music and Modal Temporal Logic

Journal of Mathematics and Music
Computational MathematicsApplied MathematicsSimulationMusicModeling
2007English

Characterising Deadlines in Temporal Modal Defeasible Logic

English

Frame Constructions, Truth Invariance and Validity Preservation in Many-Valued Modal Logic

Journal of Applied Non-Classical Logics
PhilosophyLogic
2005English

Specification and Prototyping of Structured Multimedia Documents Using Interval Temporal Logic

Advances in Temporal Logic
2000English

A Modal Temporal Logic for Reasoning About Change

1983English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy