Decidability of a monadic subclass of modal logic S4

Decidability of a monadic subclass of modal logic S4

There is not abstract.

Saved in:

Bibliographic Details
Main Author:	Stanislovas Norgėla
Format:	Article
Language:	English
Published:	Vilnius University Press 2002-12-01
Series:	Lietuvos Matematikos Rinkinys
Online Access:	https://www.zurnalai.vu.lt/LMR/article/view/32979
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)

Some decidable classes of modal logic S5
by: Stasys Norgėla
Published: (1999-12-01)

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

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

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

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

On the Dehn functions of a class of monadic one-relation monoids
by: Nyberg-Brodda, Carl-Fredrik
Published: (2024-09-01)

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

Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University
by: Stanislovas Norgėla
Published: (2001-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)

New Subclass of Convex Functions Concerning Infinite Cone
by: Fatolah Hasanvand, et al.
Published: (2024-03-01)

Applications of differential subordination for certain subclasses of meromorphically univalent functions defined by rapid operator
by: Bolineni Venkateswarlu, et al.
Published: (2021-12-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)

Enhancing the quality of low-light images via the coefficient bounds derived for a subclass of Sakaguchi-type function
by: K. Sivagami Sundari, et al.
Published: (2025-02-01)

Sharp Estimates of Hermitian Toeplitz Determinants for Some Subclasses of Sakaguchi Type Function Related to Sine Function
by: Sangarambadi Padmanabhan Vijayalakshmi, et al.
Published: (2025-01-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)

Decision procedure for a fragment of dynamic logic
by: Aida Pliuškevičienė
Published: (2001-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)

Coefficient Estimate and Fekete-Szeg\"{o} Problems for Certain New Subclasses of Bi-univalent Functions Defined by Generalized Bivariate Fibonacci Polynomial
by: Rumeysa Öztürk, et al.
Published: (2024-07-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)

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)

Creating A Line Of Logic In The County Plan of Work
by: Glenn Israel, et al.
Published: (2004-04-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)

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)