Cover Image

Qualitative reasoning in a two-layered framework

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil, Majer, Ondrej
Format:	Preprint
Published:	2022
Subjects:	Logic 03B42
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
by: Bilkova, Marta, et al.
Published: (2024)

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

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

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

Justification Logics in a Fuzzy Setting
by: Ghari, Meghdad
Published: (2014)

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

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

Modal Semantics for Reasoning with Probability and Uncertainty
by: Guallart, Nino
Published: (2024)

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

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

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

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

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

Belief in Simplicial Complexes
by: Sink, Philip, et al.
Published: (2025)

A Note on Proper Relational Structures
by: Bjorndahl, Adam, et al.
Published: (2025)

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

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

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
by: Alexandru, Baltag, et al.
Published: (2025)

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

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

Algorithmic randomness in harmonic analysis
by: Franklin, Johanna N. Y., et al.
Published: (2026)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
by: Shamkanov, Daniyar
Published: (2021)

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

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

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

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

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

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

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

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

An axiomatisation of the temporal logic of two dimensional Minkowski spacetime
by: Hirsch, Robin
Published: (2024)

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

On two recent extensions of the Big Five of Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

Non-distributive relatives of ETL and NFL
by: Kozhemiachenko, Daniil
Published: (2024)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Probabilistically stable revision and comparative probability: a representation theorem and applications
by: Mierzewski, Krzysztof
Published: (2025)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)