3468 search results - page 104 / 694 » An open logical framework |
100
Voted
JSYML
2000
15 years 15 days ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
104
Voted
IGPL
2010
14 years 10 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
90
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
90
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
118
Voted
SAC
2006
ACM
15 years 19 days ago
2006
ACM
Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) ...