Buscar
Mostrando ítems 1-10 de 75
Approximations of modal logics: K and beyond
(ELSEVIER SCIENCE BV, 2008)
Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is ...
Fibring logics with topos semantics
(Oxford Univ PressOxfordInglaterra, 2003)
Modal-type orthomodular logic
(Wiley VCH Verlag, 2009-05)
In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style ...
Relation-changing modal operators
(Oxford University Press, 2015-05)
We study dynamic modal operators that can change the accessibility relation of a model during the evaluation of a formula. In particular, we extend the basic modal language with modalities that are able to delete, add or ...
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras
(SpringerNew YorkEUA, 2014)
Logic TK: algebric notions from Tarski's consequence operator
(2010)
Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence ...
Hypothetical Logic of Proofs
(Springer, 2014-03)
The logic of proofs is a refinement of modal logic introduced by Artemov in 1995 in which the modality ◻A is revisited as ⟦t⟧A where t is an expression that bears witness to the validity of A. It enjoys arithmetical soundness ...
Justification logic and audited computation
(Oxford University Press, 2015-06)
Justification Logic ( JL ) is a refinement of modal logic in which assertions of knowledge and belief are accompanied by justifications: the formula 〚s〛A states that s is a ‘reason’ for knowing/believing A . We study the ...
Preservation by fibring of the finite model property
(Oxford Univ PressOxfordInglaterra, 2011)