The Complexity of Reasoning With Boolean Modal Logics

doi 10.1142/9789812776471_0018
Full Text
Abstract

Available in full text

Date
Authors
Publisher

WORLD SCIENTIFIC

Related search

Modal Logics for Qualitative Spatial Reasoning

Logic Journal of the IGPL
Philosophy
1996English

Nonmonotonic Reasoning With Quantified Boolean Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Logics for Classes of Boolean Monoids

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2004English

Propositional PSPACE Reasoning With Boolean Programs Versus Quantified Boolean Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Modal Logics of Reactive Frames

Cognitive Technologies
2013English

Inconsistency-Adaptive Modal Logics. On How to Cope With Modal Inconsistency

Logic and Logical Philosophy
Philosophy
2010English

Translating Classical Probability Logics Into Modal Fuzzy Logics

2019English

Classes of Boolean Functions With Limited Complexity

Prikladnaya diskretnaya matematika. Prilozhenie
2019English

Modal Logics for Continuous Dynamics

1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy