Combining Soft Linear Logic and Spatio-temporal Operators

Authors:
Norihiro Kamide
Affiliations:
Department of Philosophy, Keio University, Japan. E-mail: kamide@mtc.biglobe.ne.jp
Venue:
Journal of Logic and Computation
Year:
2004

Citing 0
Cited 5

Linear and affine logics with temporal, spatial and epistemic operators

Theoretical Computer Science
Foundations of Paraconsistent Resolution

Fundamenta Informaticae
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Foundations of Paraconsistent Resolution

Fundamenta Informaticae
Reasoning about Resources and Information: A Linear Logic Approach

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

A new logic, spatio-temporal soft linear logic, which has soft linear exponential, linear exponential and spatio-temporal operators, is introduced as a sequent calculus. A Petri net interpretation and an informational interpretation for this logic are given by using simple complete semantics. By using this logic and these interpretations, various kinds of spatio-temporal and resource-sensitive reasoning can be expressed.