Filters
Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic
In his paper ‘The logic of temporal discourse’, Pavel Tichý pointed out suggested temporal specification in transparent intensional logic (TIL), a system temporal logic, and his criticism was also...
Philosophy, History and Philosophy of science and technology
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Time and Godel: Fuzzy Temporal Reasoning in PSPACE
We investigate a non-classical version of linear temporal logic whose propositional fragment is Godel-Dummett logic (which is well known both that these indeed define one and the same logic. Although this Godel
Pure mathematics
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets
The basic principles and approaches of model checking for Object-Oriented Petri Nets (OOPNs) are introduced and described in this paper. Specifications of checked properties in model checking are expressed in temporal logics. Alloca...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
A Contribution to Learning in Temporal Logics
We focus on mining of first-order frequent patterns in temporal logic and introduce an extension of the downward refinement operator for this logic. We also discuss the needed modifications of a distributed ILP system when ...
IN - Informatika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Stochastic game logic
Stochastic game logic (SGL) is a new temporal logic for multi-agent systems modeled by turn-based multi-player games with discrete transition probabilities. It combines features of alternating-time temporal log...
IN - Informatika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Temporal Logic, Real-Time Temporal Logic and Anticipative Systems
BC - Teorie a systémy řízení
- 1998 •
- X
Rok uplatnění
X - Nezařazeno
ω-Forest Algebras and Temporal Logics
We use the algebraic framework for languages of infinite trees introduced in [A. Blumensath, 2020] to derive effective characterisations of various temporal logics, in particular the logic EF (a fragment of CTL) and its cou...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Fundamental Ontology and Temporal Fundaments of Logic
The book Fundamental Ontology and Temporal Fundaments of Logic acquaints the reader with an early period of Martin Heidegger and thematically deals mainly with logic (between science and philosophy) and time (timinng of tim...
AA - Filosofie a náboženství
- 2011 •
- B
Rok uplatnění
B - Odborná kniha
Robustness Analysis for Value-Freezing Signal Temporal Logic
In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previ...
IN - Informatika
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities of agents in a multiplaye...
IN - Informatika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 17 612