Herbrand expansions of some formulas of modal logic S4

Herbrand expansions of some formulas of modal logic S4

There is not abstract.

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

Similar Items

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

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

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

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

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

Herbrand-Confluence
by: Stefan Hetzl, et al.
Published: (2013-12-01)

Sequent calculus Sk4 for skolemized formulas
by: Andrejus Belovas, et al.
Published: (2005-12-01)

Resolution for hybrid logics
by: Stanislovas Norgėla
Published: (2011-12-01)

On the Herbrand content of LK
by: Bahareh Afshari, et al.
Published: (2016-06-01)

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

On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
by: Federico Aschieri
Published: (2017-04-01)

On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains
by: Federico Aschieri
Published: (2018-10-01)

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

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

Inter-procedural Two-Variable Herbrand Equalities
by: Stefan Schulze Frielinghaus, et al.
Published: (2017-05-01)

Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
by: Gottlob, G, et al.
Published: (1999)

Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
by: Gottlob, G, et al.
Published: (2001)

Development of computer science studies at the Faculty of Mathematics and Informatics of the Vilnius University
by: Stanislovas Norgėla
Published: (2001-12-01)

On Some Expansion Formulas for Products of Jacobi’s Theta Functions
by: Hong-Cun Zhai, et al.
Published: (2023-01-01)

Assertion, denial and some cancellation rules in modal logic
by: Williamson, T
Published: (1988)

Logic and modality
by: Bevan, M
Published: (2022)

Modal logic : The lewis-modal systems /
by: 423681 Zeman, J. Jay
Published: (1973)

Neutrosophic Modal Logic
by: Florentin Smarandache
Published: (2019-04-01)

Neutrosophic Modal Logic
by: Florentin Smarandache
Published: (2017-02-01)

Symmetries in Modal Logics
by: Carlos Areces, et al.
Published: (2013-03-01)

Handbook of modal logic /
by: Blackburn, Patrick, 1959-, et al.
Published: (2007)

Advances in modal logic /
by: Wolter, Frank
Published: (2002)

Some expansion formulas for incomplete H- and H̅-functions involving Bessel functions
by: Sapna Meena, et al.
Published: (2020-10-01)

Combination of temporal logic with modal logic KD
by: Regimantas Pliuškevičius
Published: (2003-12-01)

Computational complexity of core fragments of modal logics T, K4, and S4
by: Walega, P
Published: (2019)

From Carnap's Modal Logic to Autoepistemic Logic
by: Gottlob, G
Published: (1994)

From Hybrid Modal Logic to Matching Logic and Back
by: Ioana Leuştean, et al.
Published: (2019-09-01)

Linear Abelian Modal Logic
by: Hamzeh Mohammadi
Published: (2024-03-01)

Modal meet-implication logic
by: Jim de Groot, et al.
Published: (2022-07-01)

Modal Logics of Topological Relations
by: Carsten Lutz, et al.
Published: (2006-06-01)

Density of truth in modal logics
by: Zofia Kostrzycka
Published: (2006-01-01)

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

Semantical Considerations on Modal Logic
by: Saul A. Kripke
Published: (2023-04-01)

Bisimulation in Inquisitive Modal Logic
by: Ivano Ciardelli, et al.
Published: (2017-07-01)

ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
by: Williamson, T
Published: (1992)