Cover Image

On Lockean beliefs that are deductively closed and minimal change

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Flaminio, Tommaso, Godo, Lluis, Pérez, Ramón Pino, Subirana, Lluis
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence 03B42, 03B48
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rotations of Gödel algebras with modal operators
by: Flaminio, Tommaso, et al.
Published: (2024)

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

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

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

Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)

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

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

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

The Realizability of Revision and Contraction Operators in Epistemic Spaces
by: Sauerwald, Kai, et al.
Published: (2024)

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

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

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

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

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

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

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

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

The Construction Principle and superstability of free objects in varieties of algebras
by: Hyttinen, Tapani, et al.
Published: (2026)

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

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

Complemented subspaces of Banach lattices
by: de Hevia, David, et al.
Published: (2025)

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

Variational inequalities associated with the semigroups generated by fractional Kolmogorov operators
by: Betancor, Jorge J., et al.
Published: (2025)

Variational inequalities for the Ornstein--Uhlenbeck semigroup: the higher--dimensional case
by: Casarino, Valentina, et al.
Published: (2024)

Boundedness properties of the maximal operator in a nonsymmetric inverse Gaussian setting
by: Bruno, Tommaso, et al.
Published: (2025)

Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
by: Baltag, Alexandru, et al.
Published: (2025)

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

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

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

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

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

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

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

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

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

A sharp stability criterion for Euler equations via sparseness
by: Domínguez, Óscar, et al.
Published: (2023)

On foundations for deductive mathematics
by: Quinn, Frank
Published: (2024)

A Python Framework for Neutrosophic Sets and Mappings
by: Nordo, Giorgio, et al.
Published: (2024)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

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