Some decidable classes of modal logic S5

Some decidable classes of modal logic S5

There is not abstract.

Saved in:

Bibliographic Details
Main Author:	Stasys Norgėla
Format:	Article
Language:	English
Published:	Vilnius University Press 1999-12-01
Series:	Lietuvos Matematikos Rinkinys
Online Access:	https://www.zurnalai.vu.lt/LMR/article/view/35643
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

A resolution calculus for modal logic S4
by: Stasys Norgėla
Published: (2000-12-01)

Specialization of derivations in modal logic S5
by: Aida Pliuškevičienė
Published: (2023-09-01)

Parallel deduction-search algorithm for the predicate logic formulas
by: Stasys Norgėla
Published: (1999-12-01)

On decidability of a fragment of intuitionistic predicate logic
by: Jolanta Kaušilaitė, et al.
Published: (1999-12-01)

Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules
by: Andrzej Pietruszczak
Published: (2024-06-01)

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

Some aspects concerning the State Emblem of feudal Lithuania
by: Stasys Pamerneckis
Published: (1994-12-01)

On Some New Classes of $\mathcal{I}-$Convergent Sequences in GNLS
by: Vakeel Khan, et al.
Published: (2024-03-01)

The Baker–Schmidt problem for dual approximation and some classes of manifolds
by: Hussain, Mumtaz, et al.
Published: (2024-10-01)

Descartes on Modality and the Eternal Truths
by: Sarah Patterson
Published: (2022-03-01)

Surgical modalities in the treatment of vitiligo
by: R. Vignesh Narayan, et al.
Published: (2024-12-01)

Microprocessors and logic design /
by: Krutz, Ronald L., 1938-
Published: (1980)

Logic Model Basics
by: Glenn D. Israel
Published: (2010-11-01)

Logic Model Basics
by: Glenn D. Israel
Published: (2010-11-01)

Modalities and specificities of financing social enterprises
by: Barjaktarović Miljana, et al.
Published: (2023-01-01)

Alternate mutation modalities in models of population dynamics
by: Jonathan Bartlett
Published: (2024-12-01)

Using Multi-Sensor Soil Moisture Probes to Decide When and How Long to Run Drip Irrigation
by: Sanjay Shukla, et al.
Published: (2014-07-01)

Using Multi-Sensor Soil Moisture Probes to Decide When and How Long to Run Drip Irrigation
by: Sanjay Shukla, et al.
Published: (2014-07-01)

Fundamentals of Digital Logic with Verilog Design /
by: Brown, Stephen D.
Published: (2014)

Not-Not as Another Spatial Logic of Constitutive Negation
by: Masamichi Tamura
Published: (2025-02-01)

Sequent calculus for propositional likelihood logic
by: Romas Alonderis
Published: (2023-09-01)

Logic of knowledge with infinitely many agents
by: Regimantas Pliuškevičius
Published: (2023-09-01)

Making the Case for Modalities: The Need for Critical Thinking in Practice
by: Phil Page
Published: (2021-10-01)

Deciding which is the best ${}^1\protect \text{H}$ NMR predictor for organic compounds using statistical tools
by: Mah, Wern Huay, et al.
Published: (2022-02-01)

An Enhanced Text Steganography Technique (SHA-Logic): Based on Conditional Logic and SHA-3 (Secure Hash Algorithm 3)
by: Kisakye Diana Michelle, et al.
Published: (2024-12-01)

FUZZY LOGIC APPROACH TO ENERGY PLANNING IN NIGERIA
by: ADE-IKUESAN OLANIKE OLUFISAYO, et al.
Published: (2021-01-01)

ARISTOTLE'S LOGIC AT THE UNIVERSITY OF BUFFALO'S DEPARTMENT OF PHILOSOPHY
by: John Corcoran
Published: (2009-01-01)

RAn Enlarged Conception of the Subject Matter of Logic
by: John T. Kearns
Published: (2004-01-01)

Decision procedure for a fragment of dynamic logic
by: Aida Pliuškevičienė
Published: (2001-12-01)

The continuous quadrant penalty formulation of logical constraints
by: Cafieri, Sonia, et al.
Published: (2023-09-01)

The Impact of Anesthetic Modality Selection on Surgical Outcomes in Trauma Management
by: Anna Nowak, et al.
Published: (2025-02-01)

Neurosurgical aspects of marble bone disease: treatment modalities and outcome
by: Mahmoud Mohammed Gamal, et al.
Published: (2025-02-01)

Cross-Modal Augmented Transformer for Automated Medical Report Generation
by: Yuhao Tang, et al.
Published: (2025-01-01)

Repetitive transcranial magnetic stimulation as a modality of treatment in patients with fibromyalgia
by: Rawan M. El Shahat, et al.
Published: (2025-02-01)

MKER: multi-modal knowledge extraction and reasoning for future event prediction
by: Chenghang Lai, et al.
Published: (2025-01-01)

CARE OF SOULS AND THE LOGIC OF TRENT AS A PASTORAL COUNCIL
by: V.U. Iheanacho
Published: (2019-06-01)

Creating A Line Of Logic In The County Plan of Work
by: Glenn Israel, et al.
Published: (2004-04-01)

A FUZZY LOGIC MODEL FOR HUMAN DISTRESS DETECTION
by: DIMPLE OGUNBIYI, et al.
Published: (2024-01-01)