Approximations of Modal Logic K

Authors:
Guilherme de Souza Rabello;Marcelo Finger
Affiliations:
Department of Mathematics, Institute of Mathematics and Statistics, University of Sao Paulo, Brazil;Department of Computer Science, Institute of Mathematics and Statistics, University of Sao Paulo, Brazil
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 5
Cited 0

Tractable reasoning via approximation

Artificial Intelligence
Anytime approximate model reasoning

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Single Step Tableaux for Modal Logics

Journal of Automated Reasoning
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control

Journal of Logic and Computation
An Investigation of the Laws of Thought

An Investigation of the Laws of Thought

Quantified Score

Hi-index	0.00

Visualization

Abstract

Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This procedure has a clear semantics and a natural proof theory in the context of Massacci's modal Single Step Tableaux (SST).