:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Dastgheib, D., Farahani, H., Sharafi, A. H.
Natura:	Preprint
Pubblicazione:	2016
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/1605.03828
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

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

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

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

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

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

Logic of Fuzzy Paths
di: Grover, Kush, et al.
Pubblicazione: (2026)

On Translating Epistemic Operators in a Logic of Awareness
di: Kubono, Yudai
Pubblicazione: (2026)

Fragments of Some Subintuitionistic Logics
di: Maleki, Fatemeh Shirmohammadzadeh, et al.
Pubblicazione: (2025)

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

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

On Fidel Vakarelov construction for Monadic Godel algebras
di: Alonso, Maria Valentina, et al.
Pubblicazione: (2024)

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

Some General Completeness Results for Propositionally Quantified Modal Logics
di: Ding, Yifeng, et al.
Pubblicazione: (2024)

Non-Expansive Fuzzy Coalgebraic Logic
di: Gebhart, Stefan, et al.
Pubblicazione: (2025)

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

Stalnaker's Epistemic Logic in Isabelle/HOL
di: Guzman, Laura P. Gamboa, et al.
Pubblicazione: (2024)

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

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

Epistemic Skills: Logical Dynamics of Knowing and Forgetting
di: Liang, Xiaolong, et al.
Pubblicazione: (2024)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
di: Barenbaum, Pablo
Pubblicazione: (2026)

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
di: Dolgorukov, Vitaliy, et al.
Pubblicazione: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
di: Flaminio, Tommaso, et al.
Pubblicazione: (2026)

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

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
di: Ross, Oscar Montiel
Pubblicazione: (2026)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
di: Kubono, Yudai, et al.
Pubblicazione: (2025)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
di: Nemati, Hamed, et al.
Pubblicazione: (2025)

Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)

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

The Modal Logic of Finitely Symmetry-Preserving Iterated Extensions is Exactly S4
di: Gilson, Frank
Pubblicazione: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
di: Coniglio, M. E., et al.
Pubblicazione: (2026)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
di: Mancosu, Paolo, et al.
Pubblicazione: (2023)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
di: Fandinno, Jorge, et al.
Pubblicazione: (2024)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)

Probabilistic Epistemic Dynamic Agentive Logic
di: Logan, Shay Allen
Pubblicazione: (2026)

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

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

Epistemic Logic Programs: Non-Ground and Counting Complexity
di: Eiter, Thomas, et al.
Pubblicazione: (2025)