Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Unification in epistemic logics

Unification in epistemic logics AbstractEpistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

Unification in epistemic logics

Download PDF

Unification in epistemic logics

Abstract

AbstractEpistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.
Loading next page...
 
/lp/taylor-francis/unification-in-epistemic-logics-kFhCgev5C7
Publisher
Taylor & Francis
Copyright
© 2017 Informa UK Limited, trading as Taylor & Francis Group
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.2017.1368845
Publisher site
See Article on Publisher Site

Abstract

AbstractEpistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.

Journal

Journal of Applied Non-Classical Logics – Taylor & Francis

Published: Apr 3, 2017

Keywords: Epistemic logics; unification problem; unification type

References

  • Unification in modal and description logics
  • A tableau method for checking rule admissibility in S4
  • Unitary unification of S5 modal logics and its extensions
  • Unifiability in extensions of K4
  • Best solving modal equations
  • Filtering unification and most general unifiers in modal logic
  • Using the universal modality: Gains and questions
  • Blending margins: The modal logic K has nullary unification type
  • Unification in common knowledge logics
  • An essay on unification and inference rules for modal logics
  • Undecidability of the unification and admissibility problems for modal and description logics