A Hilbert-Style Axiomatisation for Equational Hybrid Logic
نویسندگان
چکیده
This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and firstorder hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.
منابع مشابه
Equational Propositional Logic
We formalize equational propositional logic, prove that it is sound and complete, and compare the equational-proof style with the more traditional Hilbert style.
متن کاملA Decidable Dynamic Logic for Agents with Motivational Attitudes
The present paper defines a multi-modal logic for modelling and verifying the behaviour of intelligent and rational agents. The agents can perform actions, can reason about their own knowledge and their motivational attitudes. We give a Hilbert-style axiomatisation which is proved sound and complete with respect to a Kripke-style semantics. We also show the small model property, decidability, a...
متن کاملOn the Dynamic Logic of Agency and Action
We present a Hilbert style axiomatization and an Equational theory for reasoning about actions and capabilities. We introduce two novel features in the language of Propositional Dynamic Logic (PDL), converse as backwards modality and abstract processes specified by preconditions and effects, written as φ⇒ ψ and first explored in our recent paper [8], where a Gentzen-style sequent calculus was i...
متن کاملComplete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, both taking a finite set as argument. We present a basic Hilbert-style axiomatisation, and study its completeness. The main results are syntactic and semantic characterisations of complete extensions of the logic.
متن کاملA Systematic Proof Theory for Several Modal Logics
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame semantics, and it is systematic in the sense that for the most important systems we have a clean, exact correspondence between their constitutive axioms as they are usually given in a Hilbert style and conditions on th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Logic, Language and Information
دوره 23 شماره
صفحات -
تاریخ انتشار 2014