Resolution for hybrid logics

Resolution for hybrid logics

We describe a resolution method and a procedure to transform formulae of some pure hybrid logics into their clausal form.

Bibliographic Details
Main Author:	Stanislovas Norgėla
Format:	Article
Language:	English
Published:	Vilnius University Press 2011-12-01
Series:	Lietuvos Matematikos Rinkinys
Subjects:	hybrid logic resolution clause
Online Access:	https://www.journals.vu.lt/LMR/article/view/15441

Similar Items

On decidability of pure hybrid logic
by: Stanislovas Norgėla
Published: (2012-12-01)

Proof-search in hybrid logic
by: Daiva Aleknavičiūtė, et al.
Published: (2008-12-01)

Normal form of formulas of pure hybrid logic
by: Daiva Aleknavičiūtė, et al.
Published: (2021-06-01)

α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
by: Weitao Xu, et al.
Published: (2015-12-01)

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic
by: Xinran Ning, et al.
Published: (2018-10-01)

Resolution method for some class of formulas of modal logic S4
by: Stanislovas Norgėla
Published: (2004-12-01)

Jurisdictional or Admissibility Issue of the Breach of the Multi-Tiered Dispute Resolution Clauses
by: Younes Nouranimoghaddam, et al.
Published: (2023-12-01)

Sequent calculus for hybrid logic
by: Stanislovas Norgėla, et al.
Published: (2023-09-01)

Super Resolution of MR Brain Images Using Compressive Sensing and Fuzzy Logical Rules
by: Charles Stud Angalakurthi, et al.
Published: (2021-09-01)

Herbrand expansions of some formulas of modal logic S4
by: Stanislovas Norgėla
Published: (2003-12-01)

Decidability of a monadic subclass of modal logic S4
by: Stanislovas Norgėla
Published: (2002-12-01)

Some decidable classes of formulas of modal logic S4
by: Stanislovas Norgėla
Published: (2001-12-01)

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
by: Qingshan Chen, et al.
Published: (2017-01-01)

Logic Salience in Ideologically-torn Nonprofit Hybrids
by: Jönsson Jayne
Published: (2019-10-01)

Design and implementation of hybrid logic based MAC unit using 45 nm technology
by: Amgoth Laxman, et al.
Published: (2023-12-01)

Comparative Study on the validity of Unilateral Dispute Settlement Clauses
by: Shahab Jafari Nodoushan, et al.
Published: (2020-09-01)

From Ambiguity to Deceptiveness: the Case of Hybrid since- Subordinates in English
by: Bénédicte GUILLAUME
Published: (2012-03-01)

α-Minimal Resolution Principle For A Lattice-Valued Logic
by: Hairui Jia, et al.
Published: (2015-01-01)

Inverse method for modal logic S4
by: Adomas Birštunas, et al.
Published: (2003-12-01)

Development of fuzzy logic for demand response and storage management in hybrid energy system
by: Maghami, Mohammad Reza
Published: (2019)

Dispute Resolution in Irish Sport: The Courts as Reluctant Interlopers
by: Laura Donnellan
Published: (2016-06-01)

Entity Resolution in Sparse Encounter Network Using Markov Logic Network
by: Christian Lu, et al.
Published: (2021-01-01)

The Modal Logic of Aristotelian Diagrams
by: Stef Frijters, et al.
Published: (2023-05-01)

α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
by: Xiaomei Zhong, et al.
Published: (2014-06-01)

Nature and Effect of Multi-tier dispute resolution Clause in Contracts.
by: laya joneydi, et al.
Published: (2021-03-01)

Quantification in frame semantics with binders and nominals of hybrid logic
by: Laura Kallmeyer, et al.
Published: (2017-11-01)

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X)
by: Jiafeng Zhang, et al.
Published: (2014-01-01)

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic
by: Feng Cao, et al.
Published: (2019-09-01)

α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
by: Xingxing He, et al.
Published: (2012-11-01)

Recasting Organizational Hybridity: A New Approach to the Incompatibility of Institutional Logics Through the Higher Common Principle
by: Amélie Gabriagues, et al.
Published: (2023-06-01)

Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X)
by: Yi Liu, et al.
Published: (2013-09-01)

Switching Logic for a Direct Hybrid Electric Powertrain
by: Robin Fonk, et al.
Published: (2024-01-01)

Grid resolution assessment method for hybrid RANS-LES in turbomachinery
by: Ruiyu Li, et al.
Published: (2022-12-01)

Research of Logic Threshold Control of Parallel Hybrid Electric Vehicle Clutch
by: Zhang Xuesong, et al.
Published: (2018-01-01)

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
by: Yang Xu, et al.
Published: (2018-01-01)

Perancangan Sistem Kendali Suhu Pada Mesin Pengering Hybrid Menggunakan Metode Fuzzy Logic
by: Dhimas Satria, et al.
Published: (2015-09-01)

Adverbial causal clauses as relative clauses
by: Emanuela Sanfelici, et al.
Published: (2024-03-01)

A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
by: Jian Zhong, et al.
Published: (2020-06-01)

Understanding and managing business—development hybrids: an institutional logics case analysis
by: Richard Heeks, et al.
Published: (2020-01-01)

Experiences on the Improvement of Logic-Based Anaphora Resolution in English Texts
by: Stefano Ferilli, et al.
Published: (2022-01-01)