Uniform Satisfiability Problem for Local Temporal Logics Over Mazurkiewicz Traces

Information and Computation- United States

doi 10.1016/j.ic.2009.12.003

Full Text

Abstract

Available in

Date

Authors

Publisher

Elsevier BV

Related search

Tailoring Temporal Description Logics for Reasoning Over Temporal Conceptual Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES

2013English

Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Mixed Parallel Execution of Algorithms for Satisfiability Problem

English

Fibring Epistemic and Temporal Logics

Logic and Logical Philosophy
Philosophy
2019English

A Genetic Algorithm With Expansion Operator for the 3-Satisfiability Problem

Advanced Studies in Theoretical Physics
Mathematical PhysicsPhysicsAstronomy
2013English

A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

Relational Queries Over Program Traces

ACM SIGPLAN Notices
2005English

Implementation of Propositional Temporal Logics Using BDDs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy