Rewrites as Terms through Justification Logic
Abstract
References
Recommendations
Topological semantics of justification logic
CSR'08: Proceedings of the 3rd international conference on Computer science: theory and applicationsThe Justification Logic is a family of logical systems obtained from epistemic logics by adding new type of formulas t:F which reads as t is a justification for F. The major epistemic modal logic S4 has a well-known Tarski topological interpretation ...
Possibilistic Justification Logic: Reasoning About Justified Uncertain Beliefs
Justification logic originated from the study of the logic of proofs. However, in a more general setting, it may be regarded as a kind of explicit epistemic logic. In such logic, the reasons a fact is believed are explicitly represented as justification ...
Intuitionistic Hypothetical Logic of Proofs
We study a term assignment for an intuitonistic fragment of the Logic of Proofs (LP). LP is a refinement of modal logic S4 in which the assertion @?A is replaced by @?s@?A whose intended reading is ''s is a proof of A''. We first introduce a natural ...
Comments
Information & Contributors
Information
Published In
- General Chair:
- Maurizio Gabbrielli,
- Program Chairs:
- Andreas Abel,
- James Cheney
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 46Total Downloads
- Downloads (Last 12 months)6
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format