Buchumschlag

Some Epistemic Extensions of Gödel Fuzzy Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dastgheib, D., Farahani, H., Sharafi, A. H.
Format:	Preprint
Veröffentlicht:	2016
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
von: Bilkova, Marta, et al.
Veröffentlicht: (2023)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Tableaux for epistemic Gödel logic
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Gödel's Program in Set Theory
von: Müller, Sandra, et al.
Veröffentlicht: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

On Translating Epistemic Operators in a Logic of Awareness
von: Kubono, Yudai
Veröffentlicht: (2026)

Fragments of Some Subintuitionistic Logics
von: Maleki, Fatemeh Shirmohammadzadeh, et al.
Veröffentlicht: (2025)

Logic of Fuzzy Paths
von: Grover, Kush, et al.
Veröffentlicht: (2026)

On Fidel Vakarelov construction for Monadic Godel algebras
von: Alonso, Maria Valentina, et al.
Veröffentlicht: (2024)

Axiomatizing logics of finite Gödel-Kripke models
von: Vidal, Amanda, et al.
Veröffentlicht: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
von: de Groot, Jim, et al.
Veröffentlicht: (2021)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
von: Ma, Zhifeng, et al.
Veröffentlicht: (2024)

Non-Expansive Fuzzy Coalgebraic Logic
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Simple tableaux for two expansions of Gödel modal logic
von: Bilkova, Marta, et al.
Veröffentlicht: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
von: Frittella, Sabine, et al.
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
von: Barenbaum, Pablo
Veröffentlicht: (2026)

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
von: Dolgorukov, Vitaliy, et al.
Veröffentlicht: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
von: Herbelin, Hugo, et al.
Veröffentlicht: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2026)

Stalnaker's Epistemic Logic in Isabelle/HOL
von: Guzman, Laura P. Gamboa, et al.
Veröffentlicht: (2024)

Epistemic Skills: Logical Dynamics of Knowing and Forgetting
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
von: Kubono, Yudai, et al.
Veröffentlicht: (2025)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
von: Nemati, Hamed, et al.
Veröffentlicht: (2025)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
von: Grobner, Harald
Veröffentlicht: (2026)

The Modal Logic of Finitely Symmetry-Preserving Iterated Extensions is Exactly S4
von: Gilson, Frank
Veröffentlicht: (2025)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
von: Antunes, Henrique, et al.
Veröffentlicht: (2024)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
von: Ross, Oscar Montiel
Veröffentlicht: (2026)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
von: Arroyo, Vicent Navarro
Veröffentlicht: (2026)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

Reducing Student Distraction Through Fuzzy Logic Based Seating Arrangements
von: Olges, Garrett, et al.
Veröffentlicht: (2025)

Probabilistic Epistemic Dynamic Agentive Logic
von: Logan, Shay Allen
Veröffentlicht: (2026)

Possibility Frames and Forcing for Modal Logic
von: Holliday, Wesley H.
Veröffentlicht: (2025)