Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Justification awareness models

From MaRDI portal
Publication:1709686
Jump to:navigation, search

DOI10.1007/978-3-319-72056-2_2zbMATH Open1503.03029OpenAlexW2769592268MaRDI QIDQ1709686FDOQ1709686


Authors: Sergei Artemov Edit this on Wikidata


Publication date: 6 April 2018


Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_2




Recommendations

  • Justification awareness
  • On sharp and single-conclusion justification models
  • On the sharpness and the single-conclusion property of basic justification models
  • Justification logic. Reasoning with reasons
  • The ontology of justifications in the logical setting


zbMATH Keywords

beliefepistemologyknowledgemodal logicjustification logic


Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)



Cited In (6)

  • Justifications, Awareness and Epistemic Dynamics
  • Justification awareness
  • An awareness epistemic framework for belief, argumentation and their dynamics
  • The sharpness property of justification logic
  • On the sharpness and the single-conclusion property of basic justification models
  • Normalization of terms in sharp models of logic of proofs LP





This page was built for publication: Justification awareness models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1709686)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1709686&oldid=14036746"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 1 February 2024, at 06:24. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki