Imagen de Portada

Modal Semantics for Reasoning with Probability and Uncertainty

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Guallart, Nino
Formato:	Preprint
Publicado:	2024
Materias:	Logic 03B42, 03B45, 03B48
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Blok-Esakia Theorems via Stable Canonical Rules
por: Bezhanishvili, Nick, et al.
Publicado: (2022)

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

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

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

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

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

Justification Logics in a Fuzzy Setting
por: Ghari, Meghdad
Publicado: (2014)

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

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

Failure of Esakia's theorem in the monadic setting
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
por: Olkhovikov, Grigory
Publicado: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
por: Bezhanishvili, Guram, et al.
Publicado: (2025)

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

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
por: Zantedeschi, Daniel
Publicado: (2026)

Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
por: Coniglio, Marcelo E.
Publicado: (2023)

A Basic Łukasiewicz m-valued conditional logic
por: Huo, Shuquan
Publicado: (2024)

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

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

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

On connexivity in modal and conditional contexts
por: Olkhovikov, Grigory K.
Publicado: (2025)

Swap Kripke models for deontic LFIs
por: Vaz, Mahan, et al.
Publicado: (2025)

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

On Lockean beliefs that are deductively closed and minimal change
por: Flaminio, Tommaso, et al.
Publicado: (2025)

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

On the unification problem for GLP
por: Beklemishev, Lev D.
Publicado: (2024)

A proof system for the positive fragment of GL
por: Tanaka, Yoshihito
Publicado: (2026)

Visser frames for sublogics of $\mathbf{IL}$
por: Okawa, Yuya, et al.
Publicado: (2022)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
por: Nichols, David
Publicado: (2017)

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

Modal weak Kleene logics: axiomatizations and relational semantics
por: Bonzio, Stefano, et al.
Publicado: (2024)

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

Modal logics of almost sure validities in some classes of euclidean and transitive frames
por: Sliusarev, Vladislav
Publicado: (2024)

Modern Definition and Ancient Definition
por: Protin, Clarence
Publicado: (2022)

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

Cut-free sequent calculi for the provability logic D
por: Kashima, Ryo, et al.
Publicado: (2023)

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

The Orthologic of Epistemic Modals
por: Holliday, Wesley H., et al.
Publicado: (2022)