Abstract This paper introduces a sequent calculus, $\textbf{M}_{\textbf{S}}$, the minimal structural logic, which includes all structural rules while excluding operational ones. Despite its limited calculus, $\textbf{M}_{\textbf{S}}$ unexpectedly shares a property with intuitionistic logic and modal logics between $\textsf{S1}$ and $\textsf{S5}$: it lacks sound and complete finitely-valued (deterministic) semantics. Mirroring Gödel’s and Dugundji’s findings, we demonstrate that $\textbf{M}_{\textbf{S}}$ does possess a natural finitely-valued non-deterministic semantics. In fact, we show that $\textbf{M}_{\textbf{S}}$ is sound and complete with respect to any semantics belonging to a natural class of maximally permissive non-deterministic matrices. We close by examining the case of subsystems of $\textbf{M}_{\textbf{S}}$, including the “structural kernels” of the strict-tolerant and tolerant-strict logics $\textbf{ST}$ and $\textbf{TS}$, and strengthen this result to also preclude finitely-valued deterministic semantics with respect to variable designated value frameworks.

Abstract In this paper we study several extensions of the minimal modal logic M. This minimal modal logic is formulated in the language of classical propositional logic together with two modal operators $\Box $ and $\Diamond $, which have no deductive power. By extending the Hilbert calculus for M with various axioms for $\Box $ and $\Diamond $ and/or the rule of necessitation, we obtain several well-known normal modal logics, as well as systems that are of pure theoretical interest. Those systems are shown to be sound and complete wrt to eight-valued semantics. Those semantics are obtained by refinements of an eight-valued semantics for M. Furthermore, we will briefly discuss some limitations of the method presented in this article.

Abstract In this paper, a modular approach for non-deterministic semantics for (non-normal) modal logics is developed. In particular, our aim is to improve and reinterpret some results from Omori and Skurt (2016, IfCoLog J. Logics Appl., 3, 815–845) and Coniglio et al. (2015, J. Appl. Non-Class. Log., 25, 20–45) regarding modal systems T, TB, S4 and S5. More economical axiomatizations make the rule of necessitation modular, thus providing non-deterministic semantics for (NEC)-free fragments for all the investigated systems. Moreover, by fixing the interpretation of all connectives but the modal ones, a combinatorial outlook at their matrices is provided to the effect that a new modal system and simplification of those for T and S4 are achieved.

In this paper visualization techniques for modern closed circuit television (CCTV) smart city services are discussed with application to prevention of threats. Unconventional approaches to the intelligent visual data processing are proposed in order to support video surveillance operators, thus to make their work less exhaustive and more effective. Although registration of a huge amount of video data requires development of intelligent and automatic signal processing information extraction techniques, improvement of visualization methods for operators is also a very important task, because of the crucial role the human factor plays and should always play in the decision making, e.g. in the operator reactions to various crisis situations, which can never be fully eliminated by artificial intelligence. Four software based mechanisms connected with a standard or with a slightly extended hardware are proposed as options for the CCTV operators. They utilize rather known ideas but are implemented with new extensions to original algorithms, as well as with additional, innovative modifications and solutions (not presented in the literature). With them they become reliable and efficient tools for the CCTV systems. First, generation of cylindrical panoramas is suggested in order to make long-time video content analysis of a defined area easier and faster. Using panoramas it is possible to reduce the time that is required to watch the video by a factor of hundreds or even thousands and perform an efficient compression of the video stream for the long-time storage. Second, the controlled stereovision option is discussed for quicker and more precise extraction of relevant information from the observed scene. Third, the thermo-vision is analyzed for faultless detection of pedestrians at night. Finally, a novel high dynamic range (HDR) technique is proposed, dedicated to the CCTV systems, in contrast to other typical entertainment oriented HDR approaches, for clear visualization of important and meaningful image details, otherwise invisible. We validated usefulness of the proposed techniques with many experiments presented in this paper.

One of the main tasks of monitoring service operators is the video data inspection in order to search for interesting events. Assuming a CCTV system equipped with a motorized camera operating in a pan cycle (a quite typical situation), we propose a new visualization and event search method consisting: first, in generation of a cylindrical (panorama) scene model, and second, in creation of video sequences containing the selected panorama parts for a convenient automatic and/or manual video analysis.

In this paper, a complete architecture of the software defined radio receiver is proposed. First, a precise definition and the discussion of the problem is given. Next, an outline of the system topology is proposed, together with the requirements for each component of the system. Finally, a custom implementation is presented, including specifications, design considerations, and simulations.