(LTL = 선형 시간 시간 논리와 달리) 시간 선형을 논리 로직에 추가하여 시간 선형 로직이라고 불리는 것을 생성하는 작업에 대해 알고 있습니다. 이것은 매우 흥미 롭습니다. (모달리티가없는) 공식은 현재 이용 가능한 자원으로 해석됩니다 . 다음 번 모달리티 는 다음 시간 단계에서 사용 가능한 자원으로 해석됩니다. 박스 양상 ◻ – 자원이 미래의 어느 시점에서 소비 될 수 있다는 것을 의미한다
자원의 소유자에 의해 결정 , 반면 ◊ – 자원이 어느 시점에서 소비 할 수있는 수단이 시스템에 의해 결정◯ −

□ −

◊ −

. 자원 보유자와 시스템 사이의 이중성을 확인하십시오.

• Banbara, M., Kang, K.-S., Hirai, T., Tamura, N .: 직관적 인 시간 선형 논리의 단편에서 논리 프로그래밍 . 에서 : Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, 315–330 쪽. 스프링거, 하이델베르크 (2001)

• Hirai, T .: 제안 시간적 선형 논리 및 동시 시스템에의 적용 . 전자, 통신 및 컴퓨터 과학의 기초에 관한 EICE 거래 (동시 시스템 기술에 관한 특별 섹션) E83-A (11), 2219–2227 (2000)

• Hirai, T .: 시간 선형 논리 및 그 적용 . 일본 고베 대학이 공학 연구과 박사 학위 논문 (2000 년 9 월).

• Kamide, N .: 논리 볼륨 섹션의 임시 선형 논리 게시판 36 : 3/4 (2007), pp. 173–182

모든 종류의 양식을 선형 및 아핀 로직에 추가하는 몇 가지 논문이 있습니다.

• Kamide, N .: 시간적, 공간적, 비 유적 논리를 갖는 선형 및 아핀 논리 . 이론적 컴퓨터 과학 252, 165–207 (2006).

• Kamide, N : 소프트 선형 논리와 시공간 연산자 결합 . J Logic Computation (2004) 14 (5) : 625-650.

임시 선형 논리에 대한 작업은 에이전트 중심 프로그래밍 및 조정에 적용되어 위에서 설명한 방식의 해석을 필수적으로 사용합니다.

• Kungas, P .: 심볼 에이전트 협상을위한 시간 선형 로직 . 에서 : Zhang, C., W. Guesgen, H., Yeap, W.-K. PRICAI 2004. LNCS, vol. 3157, 23–32 쪽. 스프링 델, 하이델베르크 (2004)

• Pham, DQ, Harland, J., Winikoff, M .: 시간 선형 논리에서 모델링 에이전트의 선택 . 에서 : Baldoni, M., Son, TC, van Riemsdijk, MB, Winikoff, M. (eds.) DALT 2007. LNCS, vol. 4897, pp. 140–157. 스프링 델, 하이델베르크 (2008)

• Clarke, D. Coordination : Reo, Nets and Logic . FMCO 절차, LNCS, vol. 5382. (2008)

답변