Imagen de Portada

Justification Logics in a Fuzzy Setting

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Ghari, Meghdad
Formato:	Preprint
Publicado:	2014
Materias:	Logic 03B42, 03B52
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

Tableau Proof Systems for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

Algebraic Semantics for the Logic of Proofs
por: Parsa, Amir Farahmand, et al.
Publicado: (2021)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
por: Ghari, Meghdad
Publicado: (2021)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
por: Stanković, Marko, et al.
Publicado: (2025)

Logics of False Belief and Radical Ignorance
por: Fan, Jie
Publicado: (2024)

Towards a logic of affordances
por: Gruszczynski, Rafal, et al.
Publicado: (2025)

Quantitative Linear Logic
por: Capucci, Matteo, et al.
Publicado: (2026)

Natural Term Logic
por: Protin, Clarence
Publicado: (2024)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
por: Gallardo, Andrés, et al.
Publicado: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
por: Guallart, Nino
Publicado: (2024)

Qualitative reasoning in a two-layered framework
por: Bilkova, Marta, et al.
Publicado: (2022)

On the Various Translations between Classical, Intuitionistic and Linear Logic
por: Ferreira, Gilda, et al.
Publicado: (2024)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
por: Bahl, Rohan
Publicado: (2024)

The amalgamation property and Urysohn structures in continuous logic
por: Gao, Su, et al.
Publicado: (2023)

Normalization properties of $λμ$-calculus using realizability semantics
por: Battyanyi, Peter, et al.
Publicado: (2023)

The complexity of classifying continuous t-norms up to isomorphism
por: He, Jialiang, et al.
Publicado: (2024)

A novel axiomatic approach to L-valued rough sets within an L-universe via inner product and outer product of L-subsets
por: Li, Lingqiang, et al.
Publicado: (2024)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
por: Forster, Jonas, et al.
Publicado: (2023)

On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)

On Quantifiers for Quantitative Reasoning
por: Capucci, Matteo
Publicado: (2024)

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
por: Lyon, Tim S.
Publicado: (2025)

Support + Belief = Decision Trust
por: Aldini, Alessandro, et al.
Publicado: (2024)

Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)

Convex Team Logics
por: Anttila, Aleksi, et al.
Publicado: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
por: Moncayo, Jose, et al.
Publicado: (2024)

Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025)

Degree of Kripke-incompleteness of Tense Logics
por: Chen, Qian
Publicado: (2025)

Pretabular Tense Logics over S4t
por: Chen, Qian
Publicado: (2024)

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
por: Nishimuta, Yuki, et al.
Publicado: (2018)

State-based Modal Logics for Free Choice
por: Aloni, Maria, et al.
Publicado: (2023)

Infinite convex geometries with lower semi-modularity and join semi-distributivity
por: Mata, Adam
Publicado: (2025)

Connexive implications in Substructural Logics
por: Fazio, Davide, et al.
Publicado: (2022)

Algebraizable Weak Logics
por: Nakov, Georgi, et al.
Publicado: (2022)

Aristotle's Second-Order Logic and Natural Deduction
por: Protin, Clarence
Publicado: (2023)

On the Contingency of Logic in Possible World Semantics
por: van der Giessen, Iris, et al.
Publicado: (2025)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
por: Mei, Wei, et al.
Publicado: (2021)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2024)