Relevant bibliographies by topics / Linear-time Temporal Logic

Contents

  1. Journal articles

Academic literature on the topic 'Linear-time Temporal Logic'

Author: Grafiati
Published: 11 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Linear-time Temporal Logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Linear-time Temporal Logic"

1

Henriksen, Jesper G., and P. S. Thiagarajan. "Dynamic linear time temporal logic." Annals of Pure and Applied Logic 96, no. 1-3 (1999): 187–207. http://dx.doi.org/10.1016/s0168-0072(98)00039-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wansing, Heinrich, and Norihiro Kamide. "Synchronized Linear-Time Temporal Logic." Studia Logica 99, no. 1-3 (2011): 365–88. http://dx.doi.org/10.1007/s11225-011-9357-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kamide, Norihiro, and Heinrich Wansing. "A Paraconsistent Linear-time Temporal Logic." Fundamenta Informaticae 106, no. 1 (2011): 1–23. http://dx.doi.org/10.3233/fi-2011-374.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Frigeri, Achille, Liliana Pasquale, and Paola Spoletini. "Fuzzy Time in Linear Temporal Logic." ACM Transactions on Computational Logic 15, no. 4 (2014): 1–22. http://dx.doi.org/10.1145/2629606.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

INDRZEJCZAK, ANDRZEJ. "LINEAR TIME IN HYPERSEQUENT FRAMEWORK." Bulletin of Symbolic Logic 22, no. 1 (2016): 121–44. http://dx.doi.org/10.1017/bsl.2016.2.

Full text
Abstract:
AbstractHypersequent calculus (HC), developed by A. Avron, is one of the most interesting proof systems suitable for nonclassical logics. Although HC has rather simple form, it increases significantly the expressive power of standard sequent calculi (SC). In particular, HC proved to be very useful in the field of proof theory of various nonclassical logics. It may seem surprising that it was not applied to temporal logics so far. In what follows, we discuss different approaches to formalization of logics of linear frames and provide a cut-free HC formalization ofKt4.3, the minimal temporal log
APA, Harvard, Vancouver, ISO, and other styles
6

Giero, Mariusz. "The Axiomatization of Propositional Linear Time Temporal Logic." Formalized Mathematics 19, no. 2 (2011): 113–19. http://dx.doi.org/10.2478/v10037-011-0018-1.

Full text
Abstract:
The Axiomatization of Propositional Linear Time Temporal Logic The article introduces propositional linear time temporal logic as a formal system. Axioms and rules of derivation are defined. Soundness Theorem and Deduction Theorem are proved [9].
APA, Harvard, Vancouver, ISO, and other styles
7

Shi, Jianqi, Jiawen Xiong, and Yanhong Huang. "General past-time linear temporal logic specification mining." CCF Transactions on High Performance Computing 3, no. 4 (2021): 393–406. http://dx.doi.org/10.1007/s42514-021-00079-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Tonetta, Stefano. "Linear-time Temporal Logic with Event Freezing Functions." Electronic Proceedings in Theoretical Computer Science 256 (September 6, 2017): 195–209. http://dx.doi.org/10.4204/eptcs.256.14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fisher, Michael. "A model checker for linear time temporal logic." Formal Aspects of Computing 4, no. 3 (1992): 299–319. http://dx.doi.org/10.1007/bf01212306.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jonsson, Bengt, and Tsay Yih-Kuen. "Assumption/guarantee specifications in linear-time temporal logic." Theoretical Computer Science 167, no. 1-2 (1996): 47–72. http://dx.doi.org/10.1016/0304-3975(96)00069-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources
You might also be interested in the extended bibliographies on the topic 'Linear-time Temporal Logic' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography