Decision procedure for a fragment of dynamic logic

Decision procedure for a fragment of dynamic logic

There is not abstract.

Saved in:

Bibliographic Details
Main Author:	Aida Pliuškevičienė
Format:	Article
Language:	English
Published:	Vilnius University Press 2001-12-01
Series:	Lietuvos Matematikos Rinkinys
Online Access:	https://www.zurnalai.vu.lt/LMR/article/view/34623
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Decision procedure for a fragment of quantified branching temporal logic
by: Aida Pliuškevičienė
Published: (2002-12-01)

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

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

Decision procedure for first-order linear temporal logic with semi-periodic kemels
by: Regimantas Pliuškevičius
Published: (2002-12-01)

Fragment by Fragment : feminist perspectives on memory and child sexual abuse /
Published: (1999)

The Influences of Institutional Logics Dynamics on Organizational History: the Case of Veiling Holambra Cooperative
by: Maisa Gomide Teixeira, et al.
Published: (2015-01-01)

Fragments of Lost Origins
by: Pekka Tuominen
Published: (2011-01-01)

Capitalizing on International Law’s Fragmentation
by: Sara Dezalay
Published: (2023-09-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)

The Nation and its Fragments : colonial and postcolonial histories /
by: Chatterjee, Partha, 1947-
Published: (1993)

Fragments of history of KPI mathematics departments
by: Vidmantas Pekarskas, et al.
Published: (2000-12-01)

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

A fragmentation-based study of heavy quark production
by: Giovanni Ridolfi, et al.
Published: (2020-01-01)

Exploring Hilbert-Space Fragmentation on a Superconducting Processor
by: Yong-Yi Wang, et al.
Published: (2025-02-01)

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

Fragmented care in lupus: Patient experiences and insights
by: Armand Bam
Published: (2025-01-01)

FRAGMENTS OF THE SACRED: SACRAMENTALLY SUSTAINED IN TIMES OF UNCERTAINTY
by: E. Kloppers
Published: (2020-12-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)

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)

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

CONSIDERING THE DOCTRINE OF GOD: FRAGMENTS ON TRINITY, DISCOURSES, AND TIME
by: R. Venter
Published: (2022-12-01)

Policy Fragmentation, Women’s Land Rights and Governance in Zimbabwe
by: Newman Tekwa
Published: (2025-01-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)

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

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

Sensation seeking and risk adjustment: the role of reward sensitivity in dynamic risky decisions
by: Yin Qianlan, et al.
Published: (2025-02-01)

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

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

Exploring the Definition of Non-Monotonicity – Logical and Psychological Considerations
by: Piotr Łukowski, et al.
Published: (2024-10-01)