Image de couverture de livre

Qualitative reasoning in a two-layered framework

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil, Majer, Ondrej
Format:	Preprint
Publié:	2022
Sujets:	Logic 03B42
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
par: Bilkova, Marta, et autres
Publié: (2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
par: Bilkova, Marta, et autres
Publié: (2023)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Filter-induced entailment relations in paraconsistent Gödel logics
par: Frittella, Sabine, et autres
Publié: (2024)

Justification Logics in a Fuzzy Setting
par: Ghari, Meghdad
Publié: (2014)

Logics of False Belief and Radical Ignorance
par: Fan, Jie
Publié: (2024)

Simple tableaux for two expansions of Gödel modal logic
par: Bilkova, Marta, et autres
Publié: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
par: Guallart, Nino
Publié: (2024)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
par: Coniglio, Marcelo E., et autres
Publié: (2024)

Tableaux for epistemic Gödel logic
par: Bílková, Marta, et autres
Publié: (2025)

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

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Natural Term Logic
par: Protin, Clarence
Publié: (2024)

Normalization properties of $λμ$-calculus using realizability semantics
par: Battyanyi, Peter, et autres
Publié: (2023)

Belief in Simplicial Complexes
par: Sink, Philip, et autres
Publié: (2025)

A Note on Proper Relational Structures
par: Bjorndahl, Adam, et autres
Publié: (2025)

Support + Belief = Decision Trust
par: Aldini, Alessandro, et autres
Publié: (2024)

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
par: Alexandru, Baltag, et autres
Publié: (2025)

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

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
par: Zantedeschi, Daniel
Publié: (2026)

Algorithmic randomness in harmonic analysis
par: Franklin, Johanna N. Y., et autres
Publié: (2026)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
par: Shamkanov, Daniyar
Publié: (2021)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
par: Rahnama, Moses
Publié: (2025)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
par: Kozhemiachenko, Daniil
Publié: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
par: Ayhan, Sara
Publié: (2023)

Random expansions of trees with bounded height
par: Koponen, Vera, et autres
Publié: (2024)

Intuitionistic Common Knowledge
par: Zenger, Lukas
Publié: (2026)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
par: Kristiansen, Lars, et autres
Publié: (2024)

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

Equivalence of finite non-deterministic logical matrices is undecidable
par: Caleiro, Carlos, et autres
Publié: (2024)

Swap Kripke models for deontic LFIs
par: Vaz, Mahan, et autres
Publié: (2025)

A proof-theoretical approach to some extensions of first order quantification
par: Allègre, Loïc, et autres
Publié: (2024)

An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
par: Hirsch, Robin
Publié: (2024)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
par: Brophy, Matthew E.
Publié: (2025)

On two recent extensions of the Big Five of Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

Non-distributive relatives of ETL and NFL
par: Kozhemiachenko, Daniil
Publié: (2024)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Probabilistically stable revision and comparative probability: a representation theorem and applications
par: Mierzewski, Krzysztof
Publié: (2025)

Modular many-valued semantics for combined logics
par: Caleiro, Carlos, et autres
Publié: (2022)