Monadic Fragments of Gödel Logics: Decidability and Undecidability Results

doi 10.1007/978-3-540-75560-9_8

Full Text

Abstract

Available in

Date

Unknown

Authors

Publisher

Springer Berlin Heidelberg

Related search

SAT in Monadic Gödel Logics: A Borderline Between Decidability and Undecidability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Decidability and Undecidability of Marked PCP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2007English

Fuzzy Description Logics Under Gödel Semantics

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2009Swedish

Towards a Proof Theory of Gödel Modal Logics

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Finite Model Property for Gödel Modal Logics

Swedish

Undecidability of Modal and Intermediate First-Order Logics With Two Individual Variables

Journal of Symbolic Logic
PhilosophyLogic
1993English

Two Undecidability Results Using Modified Boolean Powers

Canadian Journal of Mathematics
Mathematics
1982English

Some Results on Measure Independent Gödel Speed-Ups

Journal of Symbolic Logic
PhilosophyLogic
1978Swedish

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy