Theoretical Computer Science
ACM Transactions on Computer Systems (TOCS)
Logic and information flow
Distributed concurrent linear logic programming
Theoretical Computer Science - Special issue on linear logic, 1
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modal logic
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Kripke Semantics for Modal Substructural Logics
Journal of Logic, Language and Information
Deciding validity in a spatial logic for trees
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
ACM Transactions on Computational Logic (TOCL)
Timed Petri Nets and Temporal Linear Logic
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Decidability of Linear Affine Logic
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Temporal Linear Logic Specifications for Concurrent Processes
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A spatial logic for concurrency (part I)
Information and Computation - TACS 2001
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Soft linear logic and polynomial time
Theoretical Computer Science - Implicit computational complexity
Combining Soft Linear Logic and Spatio-temporal Operators
Journal of Logic and Computation
Linear Logics with Communication-merge
Journal of Logic and Computation
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation
Journal of Logic, Language and Information
A spatio-temporal logic for the specification and refinement of mobile systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects
A decidable first-order logic for medical reasoning
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Inconsistency-Tolerant Bunched Implications
International Journal of Approximate Reasoning
Reasoning about Resources and Information: A Linear Logic Approach
Fundamenta Informaticae
| Hi-index | 5.23 |
A temporal spatial epistemic intuitionistic linear logic (TSEILL) is introduced, and the completeness theorem for this logic is proved with respect to Kripke semantics. TSEILL has three temporal modal operators: [F] (any time in the future), [N] (next time) and [P] (past), some spatial modal operators [li] (locations), two epistemic modal operators; [K] (know) and (K), and a linear modal operator ! (exponential). A basic normal modal intuitionistic affine logic (BIAL) and its normal extensions are also defined, and the completeness theorems for these logics are proved with respect to Kripke semantics. In the proposed semantic framework of these normal extensions, a simple correspondence can be given between frame conditions and Lemmon-Scott axioms. A dynamic intuitionistic affine logic (DIAL) is proposed as an affine version of (test-free) dynamic logic, and the completeness theorem for this logic is shown with respect to Kripke semantics. Finally, some intuitive interpretations, such as resource and informational interpretations, are given for the proposed logics and semantics. By using these logics, semantics and interpretations, various kinds of fine-grained resource-sensitive reasoning can be expressed.