Buscar
Mostrando ítems 1-10 de 735
Hybrid and subexponential linear logics
(Elsevier, 2017)
Completeness in hybrid type theory
(2014)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Completeness in Hybrid Type Theory
(Springer, 2014-05)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Improved hybrid fuzzy logic system for evaluating sustainable transportation systems in smart cities
Modern times are required for smart cities to have sustainable transport systems. In several years the number of transport operations has increased considerably and the development is expected to increase in the years to ...
Temporal Reasoning and MAS
(2011)
Satisfiability for relation-changing logics
(Oxford University Press, 2018-10)
Relation-changing modal logics (RC for short) are extensions of the basic modal logic with dynamic operators that modify the accessibility relation of a model during the evaluation of a formula. These languages are equipped ...
Energy management fuzzy logic supervisory for electric vehicle power supplies system
(Ieee-inst Electrical Electronics Engineers IncPiscatawayEUA, 2008)
Swap logic
(2014)
We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ...