Implementation of Propositional Temporal Logics Using BDDs

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-69778-0_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Super-Łukasiewicz Propositional Logics

Nagoya Mathematical Journal
Mathematics
1981English

Compact Propositional Godel Logics

English

Labelled Propositional Modal Logics: Theory and Practice

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

The Complexity of Model Checking for Propositional Default Logics

Data and Knowledge Engineering
Information SystemsManagement
2005English

A Propositional Logic of Temporal Connectives

Logic and Logical Philosophy
Philosophy
2014English

Fibring Epistemic and Temporal Logics

Logic and Logical Philosophy
Philosophy
2019English

Tailoring Temporal Description Logics for Reasoning Over Temporal Conceptual Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Finding Compact BDDs Using Genetic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Linear Temporal Logic and Propositional Schemata, Back and Forth

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy