Towards a Proof Theory of Gödel Modal Logics

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-7(2:10)2011
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

A Finite Model Property for Gödel Modal Logics

English

Labelled Propositional Modal Logics: Theory and Practice

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Fuzzy Description Logics Under Gödel Semantics

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

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

English

Modal Logics of Reactive Frames

Cognitive Technologies
2013English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3

Bulletin of the Section of Logic
PhilosophyLogic
2019English

Translating Classical Probability Logics Into Modal Fuzzy Logics

2019English

Two-Layer Modal Logics: From Fuzzy Logics to a General Framework

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy