Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
Abstract
References
Index Terms
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
Recommendations
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
We produce a decidable classical normal modal logic of internalised negation-complete and thus disjunctive non-monotonic interactive proofs (LDiiP) from an existing logical counterpart of non-monotonic or instant interactive proofs (LiiP). LDiiP ...
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic
AbstractWe study the correspondence theory of intuitionistic modal logic in modal Fairtlough–Mendler semantics (modal FM semantics) (Fairtlough and Mendler in Inf Comput 137(1):1–33, 1997), which is the intuitionistic modal version of possibility ...
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations
Logic, Language, Information, and ComputationAbstractWe propose a minimal deontic logic, called MIND, based on intuitionistic logic. This logic gives a very simple solution to handling conflicting obligations: the presence of two conflicting obligations does not entail the triviality of the set of ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed
Funding Sources
- National Research Fund Luxembourg
- Marie-Curie Actions of the European Commission
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 115Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)1
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 in