Displaying similar documents to “Application of deontic logic in Role-Based Access Control”

Monadic Fragments of Intuitionistic Control Logic

Anna Glenszczyk (2016)

Bulletin of the Section of Logic

Similarity:

We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.

Inference in Action

Johan van Benthem (2007)

Publications de l'Institut Mathématique

Similarity:

Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3

Daishi Yazaki (2019)

Bulletin of the Section of Logic

Similarity:

The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and S4.3. The application of the inference rules is said to be acceptable, if all the formulas in the upper sequents are subformula of the formulas in lower sequent. For some modal logics, Takano analyzed the relationships between the acceptable inference rules and semantical...

Propositional Linear Temporal Logic with Initial Validity Semantics1

Mariusz Giero (2015)

Formalized Mathematics

Similarity:

In the article [10] a formal system for Propositional Linear Temporal Logic (in short LTLB) with normal semantics is introduced. The language of this logic consists of “until” operator in a very strict version. The very strict “until” operator enables to express all other temporal operators. In this article we construct a formal system for LTLB with the initial semantics [12]. Initial semantics means that we define the validity of the formula in a model as satisfaction in the initial...

The Dynamic Epistemic Logic for Actual Knowledge

Arkadiusz Wójcik (2020)

Bulletin of the Section of Logic

Similarity:

The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization...

Control of constrained nonlinear uncertain discrete-time systems robust controllable sets: a modal interval analysis approach

Jian Wan, Josep Vehí, Ningsu Luo, Pau Herrero (2009)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

A general framework for computing robust controllable sets of constrained nonlinear uncertain discrete-time systems as well as controlling such complex systems based on the computed robust controllable sets is introduced in this paper. The addressed one-step control approach turns out to be a robust model predictive control scheme with feasible unit control horizon and contractive constraint. The solver of 1-dimensional quantified set inversion in modal interval analysis is extended...

Universality of Logic

Jan Woleński (2017)

Bulletin of the Section of Logic

Similarity:

This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity (truth in all models). All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic....