Logics of False Belief and Radical Ignorance
Fuente:
arXiv
Guardado en:
| Autor principal: | Fan, Jie |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Support + Belief = Decision Trust
por: Aldini, Alessandro, et al.
Publicado: (2024)
por: Aldini, Alessandro, et al.
Publicado: (2024)
First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)
por: Ghilardi, Silvio, et al.
Publicado: (2025)
State-based Modal Logics for Free Choice
por: Aloni, Maria, et al.
Publicado: (2023)
por: Aloni, Maria, et al.
Publicado: (2023)
Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025)
por: van Benthem, Johan, et al.
Publicado: (2025)
Modal Semantics for Reasoning with Probability and Uncertainty
por: Guallart, Nino
Publicado: (2024)
por: Guallart, Nino
Publicado: (2024)
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)
por: Ghari, Meghdad
Publicado: (2014)
Collapsing Constructive and Intuitionistic Modal Logics
por: Pacheco, Leonardo
Publicado: (2024)
por: Pacheco, Leonardo
Publicado: (2024)
Possibility Frames and Forcing for Modal Logic
por: Holliday, Wesley H.
Publicado: (2025)
por: Holliday, Wesley H.
Publicado: (2025)
Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
por: Gallardo, Andrés, et al.
Publicado: (2024)
por: Gallardo, Andrés, et al.
Publicado: (2024)
Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)
por: Zenger, Lukas
Publicado: (2026)
Natural Term Logic
por: Protin, Clarence
Publicado: (2024)
por: Protin, Clarence
Publicado: (2024)
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
por: Coniglio, Marcelo E., et al.
Publicado: (2024)
por: Coniglio, Marcelo E., et al.
Publicado: (2024)
Swap Kripke models for deontic LFIs
por: Vaz, Mahan, et al.
Publicado: (2025)
por: Vaz, Mahan, et al.
Publicado: (2025)
First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)
por: Christensen, Ahmee
Publicado: (2024)
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
por: Coniglio, Marcelo E.
Publicado: (2023)
por: Coniglio, Marcelo E.
Publicado: (2023)
Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)
por: Bílková, Marta, et al.
Publicado: (2025)
On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)
por: Ciardelli, Ivano, et al.
Publicado: (2023)
The Size of Interpolants in Modal Logics
por: Cate, Balder ten, et al.
Publicado: (2025)
por: Cate, Balder ten, et al.
Publicado: (2025)
Belief in Simplicial Complexes
por: Sink, Philip, et al.
Publicado: (2025)
por: Sink, Philip, et al.
Publicado: (2025)
Justification Logics in a Fuzzy Setting
por: Ghari, Meghdad
Publicado: (2014)
por: Ghari, Meghdad
Publicado: (2014)
Classification and deontic explosion for contrary-to-duty obligations
por: Kjos-Hanssen, Bjørn
Publicado: (2026)
por: Kjos-Hanssen, Bjørn
Publicado: (2026)
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
por: Wolter, Frank, et al.
Publicado: (2024)
por: Wolter, Frank, et al.
Publicado: (2024)
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
por: Lyon, Tim S.
Publicado: (2025)
por: Lyon, Tim S.
Publicado: (2025)
Pretabular Tense Logics over S4t
por: Chen, Qian
Publicado: (2024)
por: Chen, Qian
Publicado: (2024)
Degree of Kripke-incompleteness of Tense Logics
por: Chen, Qian
Publicado: (2025)
por: Chen, Qian
Publicado: (2025)
Lewis and Brouwer meet Strong Löb
por: Visser, Albert, et al.
Publicado: (2024)
por: Visser, Albert, et al.
Publicado: (2024)
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2024)
por: Howlader, Prosenjit, et al.
Publicado: (2024)
Algebraic Semantics for the Logic of Proofs
por: Parsa, Amir Farahmand, et al.
Publicado: (2021)
por: Parsa, Amir Farahmand, et al.
Publicado: (2021)
Game semantics for the constructive $μ$-calculus
por: Pacheco, Leonardo
Publicado: (2023)
por: Pacheco, Leonardo
Publicado: (2023)
The Logic of Correct Models
por: Aguilera, Juan Pablo, et al.
Publicado: (2024)
por: Aguilera, Juan Pablo, et al.
Publicado: (2024)
A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
por: Ghari, Meghdad
Publicado: (2021)
por: Ghari, Meghdad
Publicado: (2021)
A non-uniform view of Craig interpolation in modal logics with linear frames
por: Kurucz, Agi, et al.
Publicado: (2023)
por: Kurucz, Agi, et al.
Publicado: (2023)
Interpolation above S4
por: Santschi, Simon, et al.
Publicado: (2026)
por: Santschi, Simon, et al.
Publicado: (2026)
Logics of polyhedral reachability
por: Bezhanishvili, Nick, et al.
Publicado: (2024)
por: Bezhanishvili, Nick, et al.
Publicado: (2024)
On the unification problem for GLP
por: Beklemishev, Lev D.
Publicado: (2024)
por: Beklemishev, Lev D.
Publicado: (2024)
A proof system for the positive fragment of GL
por: Tanaka, Yoshihito
Publicado: (2026)
por: Tanaka, Yoshihito
Publicado: (2026)
Visser frames for sublogics of $\mathbf{IL}$
por: Okawa, Yuya, et al.
Publicado: (2022)
por: Okawa, Yuya, et al.
Publicado: (2022)
A Basic Łukasiewicz m-valued conditional logic
por: Huo, Shuquan
Publicado: (2024)
por: Huo, Shuquan
Publicado: (2024)
Towards a logic of affordances
por: Gruszczynski, Rafal, et al.
Publicado: (2025)
por: Gruszczynski, Rafal, et al.
Publicado: (2025)
On connexivity in modal and conditional contexts
por: Olkhovikov, Grigory K.
Publicado: (2025)
por: Olkhovikov, Grigory K.
Publicado: (2025)
Ejemplares similares
-
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) -
State-based Modal Logics for Free Choice
por: Aloni, Maria, et al.
Publicado: (2023) -
Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025) -
Modal Semantics for Reasoning with Probability and Uncertainty
por: Guallart, Nino
Publicado: (2024)