Results 101 to 110 of about 1,696,138 (202)
Temporal Logics of Knowledge and their Applications in Security
, 2007 Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time.
Dixon, C.; id_orcid +3 more
core +1 more source
Azafea: Revista de Filosofía, 2009 RESUMEN: En este artículo se sintetiza una visión moderna de las lógicas modales y temporales. En vez de dar una motivación histórica, el paper presenta estas lógicas en relación con ciertos fragmentos de la lógica de primer orden que poseen propiedades ...
Carlos ARECES
doaj
Women in Palaeoart and the Afterlives of Symbols: An Essay in Worldview Externalisation
ArtsWomen-centred motifs in African rock art form part of the most persistent symbolic repertoire of early cosmologies. Despite their prominence, these figures have received limited sustained analysis.
Anni Li, Yan Xu
doaj +1 more source
Automated Reasoning in Quantified Modal and Temporal Logics [PDF]
, 2005 Centre for Intelligent Systems and their ApplicationsThis thesis is about automated reasoning in quantified modal and temporal logics, with an application to formal methods.
Castellini, Claudio
core
Proofs for temporal logics: focus on the multi-agent case
, 2021 International audienceIn this work we present and discuss some features of proofs in the case of temporal logics. More precisely, we discuss the relation between proofs for temporal logics built in two distinct frameworks: sequent calculi and tableau ...
Cerrito, Serenella
core
Temporal Logics of Knowledge and their Applications in Security
, 2008 Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time.
Michael Fisher A +2 more
core
Translating Temporal Epistemic Logics to Monodic First- Order Temporal Logic ∗
, 2008 . Temporal logics of knowledge are useful for dealing with certain situations where the knowledge of some agents in a system is involved. There exist proof methods for these systems, however due to the complexity of the systemas they are not easy to ...
C. Dixon +4 more
core
The Computational Complexity of Hybrid Temporal Logics
, 2000 In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific ...
Blackburn, Patrick +2 more
core
Programming and Editing as Alternative Logics of Music Radio Production
International Journal of Communication, 2013 The disparity between structural and phenomenological perspectives in media studies informs an unacknowledged distinction between two alternative logics of music radio production: programming and editing.
Danny Kaplan
doaj