Article

An Overview of Temporal and Modal Logic Programming

Authors:

Mehmet A. Orgun,

Wanli MaAuthors Info & Claims

ICTL '94: Proceedings of the First International Conference on Temporal Logic

Pages 445 - 479

Published: 11 July 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Gaintzarain JLucio P(2013)Logical foundations for more expressive declarative temporal logic programming languagesACM Transactions on Computational Logic10.1145/252893114:4(1-41)Online publication date: 28-Nov-2013
https://dl.acm.org/doi/10.1145/2528931
Nguyen L(2006)Multimodal logic programmingTheoretical Computer Science10.1016/j.tcs.2006.03.026360:1(247-288)Online publication date: 21-Aug-2006
https://dl.acm.org/doi/10.1016/j.tcs.2006.03.026
Nguyen L(2005)Reasoning about epistemic states of agents by modal logic programmingProceedings of the 6th international conference on Computational Logic in Multi-Agent Systems10.1007/11750734_3(37-56)Online publication date: 27-Jun-2005
https://dl.acm.org/doi/10.1007/11750734_3
Show More Cited By

An Overview of Temporal and Modal Logic Programming
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
2. Theory of computation
  1. Logic

Recommendations

Constructive linear-time temporal logic: Proof systems and Kripke semantics

In this paper we study a version of constructive linear-time temporal logic (LTL) with the ''next'' temporal operator. The logic is originally due to Davies, who has shown that the proof system of the logic corresponds to a type system for binding-time ...
On Modal Grzegorczyk Logic
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

In 1964-68 Andrzej Grzegorczyk investigated relational and topological semantics for the intuitionistic logic [15]-[18] . In this connection, following to McKinsey and Tarski, he also considered a semantics for modal logics. It is well known that there ...
On Modal Grzegorczyk Logic
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

In 1964-68 Andrzej Grzegorczyk investigated relational and topological semantics for the intuitionistic logic [15]-[18] . In this connection, following to McKinsey and Tarski, he also considered a semantics for modal logics. It is well known that there ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICTL '94: Proceedings of the First International Conference on Temporal Logic

July 1994

545 pages

ISBN:354058241X

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 11 July 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gaintzarain JLucio P(2013)Logical foundations for more expressive declarative temporal logic programming languagesACM Transactions on Computational Logic10.1145/252893114:4(1-41)Online publication date: 28-Nov-2013
https://dl.acm.org/doi/10.1145/2528931
Nguyen L(2006)Multimodal logic programmingTheoretical Computer Science10.1016/j.tcs.2006.03.026360:1(247-288)Online publication date: 21-Aug-2006
https://dl.acm.org/doi/10.1016/j.tcs.2006.03.026
Nguyen L(2005)Reasoning about epistemic states of agents by modal logic programmingProceedings of the 6th international conference on Computational Logic in Multi-Agent Systems10.1007/11750734_3(37-56)Online publication date: 27-Jun-2005
https://dl.acm.org/doi/10.1007/11750734_3
Greco GGuzzo ASaccà DScarcello FMoggi EWarren D(2004)Event choice datalogProceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/1013963.1013989(238-249)Online publication date: 24-Aug-2004
https://dl.acm.org/doi/10.1145/1013963.1013989
Nanni MRaffaetà ARenso CTurini F(2004)Deductive and inductive reasoning on spatio-temporal dataProceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming10.1007/11415763_7(98-115)Online publication date: 4-Mar-2004
https://dl.acm.org/doi/10.1007/11415763_7
Lopes CDourish PLorenz DLieberherr K(2003)Beyond AOPACM SIGPLAN Notices10.1145/966051.96605838:12(34-43)Online publication date: 1-Dec-2003
https://dl.acm.org/doi/10.1145/966051.966058
Blanc JEchahed RPfenning FKirchner C(2002)A generic operator over discrete time intervalsProceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/571157.571172(145-155)Online publication date: 6-Oct-2002
https://dl.acm.org/doi/10.1145/571157.571172
Drape Sde Moor OSittampalam GPfenning FKirchner C(2002)Transforming the .NET intermediate language using path logic programmingProceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/571157.571171(133-144)Online publication date: 6-Oct-2002
https://dl.acm.org/doi/10.1145/571157.571171
Augusto J(2001)The Logical Approach to Temporal ReasoningArtificial Intelligence Review10.1023/A:101255181824316:4(301-333)Online publication date: 1-Dec-2001
https://dl.acm.org/doi/10.1023/A%3A1012551818243
Rondogiannis PGergatsoulis M(2001)The Branching-Time Transformation Technique for Chain Datalog ProgramsJournal of Intelligent Information Systems10.1023/A:101250280096117:1(71-94)Online publication date: 21-Nov-2001
https://dl.acm.org/doi/10.1023/A%3A1012502800961
Show More Cited By

Abstract

Cited By

Recommendations

Constructive linear-time temporal logic: Proof systems and Kripke semantics

On Modal Grzegorczyk Logic

On Modal Grzegorczyk Logic

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations