Bibliografías temáticas / Linear-time Temporal Logic

Índice

  1. Artículos de revistas

Literatura académica sobre el tema "Linear-time Temporal Logic"

Autor: Grafiati
Publicado: 11 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Linear-time Temporal Logic".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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 logic of linear frames, and some of its extensions. The novelty of our approach is that hypersequents are defined not as finite (multi)sets but as finite lists of ordinary sequents. Such a solution allows both linearity of time flow, and symmetry of past and future, to be incorporated by means of six temporal rules (three for future-necessity and three dual rules for past-necessity). Extensions of the basic calculus with simple structural rules cover logics of serial and dense frames. Completeness is proved by Schütte/Hintikka-style argument using models built from saturated hypersequents.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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].
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes
También puede estar interesado en las bibliografías ampliadas sobre el tema "Linear-time Temporal Logic" para tipos de fuentes particulares:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía