Embedding justification theory in approximation fixpoint theory

, &
Artificial Intelligence 331 (C):104112 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2024.104112

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.Hannes Strass & Johannes Peter Wallner - 2015 - Artificial Intelligence 226 (C):34-74.
Towards an Expanded Epistemology for Approximations.Jeffry L. Ramsey - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:154 - 164.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Aristotle's Physics.Carlo Rovelli - 2013
Generalizing empirical adequacy I: multiplicity and approximation.Sebastian Lutz - 2014 - Synthese 191 (14):3195-3225.
Truth and Meaning: In Perspective.Scott Soames - 1981 - In Felicia Ackerman (ed.), Midwest Studies in Philosophy. Minneapolis: University of Minnesota Press. pp. 1–19.
A Theory of Epistemic Justification.Jarrett Leplin - 2009 - Springer.
Propositional Justification and Infinitism.Tito Flores - 2017 - Manuscrito 40 (4):141-158.
Fixpoint semantics for active integrity constraints.Bart Bogaerts & Luís Cruz-Filipe - 2018 - Artificial Intelligence 255 (C):43-70.
Embedding and Coding below a 1-Generic Degree.Noam Greenberg & Antonio Montalbán - 2003 - Notre Dame Journal of Formal Logic 44 (4):200-216.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
A Pilot-Wave Approach to the Many-Body Problem: Beyond the Small Entanglement Approximation.Travis Norsen - 2022 - Foundations of Physics 52 (5):1-16.
Propositionalism and the metaphysics of experience.Jonathan Kvanvig - 2007 - Philosophical Issues 17 (1):165–178.
A Trial Separation between the theory of Knowledge and the theory of Justified Belief.Richard Foley - 2004 - In John Greco (ed.), Ernest Sosa and His Critics. Malden, MA, USA: Blackwell. pp. 59–71.

Analytics

Added to PP
2024-03-17

Downloads
6 (#1,465,900)

6 months
6 (#530,265)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Singular terms, truth-value gaps, and free logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

View all 13 references / Add more references