Restricted normal modal logics and levelled possible worlds semantics
Agudelo-Agudelo, Juan C.
Sierra-Aristizabal, Manuel H.
MetadataShow full item record
Restricted normal modal logics are here defined by imposing conditions on the modal axioms and rules of normal modal systems. The conditions are defined in terms of a depth (associated with the modal connective) and a complexity function. It is proven that the logics obtained are characterized by a subtle adaptation of the possible worlds semantics in which levels are associated with the worlds. Restricted normal modal logics constitute a general framework allowing the definition of a huge variety of modal systems, which can have different applications. For instance, they are useful to define epistemic logics where the logical omniscience problem is partially controlled. © 2014 The Author.
- Artículos 
Showing items related by title, author, creator and subject.
Bove, A.; Dybjer, P.; Sicard-Ra?irez, A. (2009-01-01)We propose a new way to reason about general recursive functional in the dependently typed programming language Agda,is based on Martin-Löf's intuitionistic type theory. We show to embed an external programming logic, ...
Alpuente, M.; Correa, F.; Falaschi, M. (Elsevier BV, 2002-01-01)We present a generic scheme for the declarative debugging of functional logic programs which is valid for eager as well as lazy programs. In particular we show that the framework extends naturally some previous work and ...
I. BUILES ROLDAN; H. MANRIQUE TISNES (CONSEJO SUPERIOR INVESTIGACIONES CIENTIFICAS-CSIC, INST GRASA, 2018-01-01)In this article we defend the possibility of finding in intuitive thinking a set of characteristics or laws which refer to logical aspects, which are different from classic symbolic logic, involving both the rational ...