Completeness and decidability of tense logics closely related to logics above K4

1997 ◽  
Vol 62 (1) ◽  
pp. 131-158 ◽  
Author(s):  
Frank Wolter
Keyword(s):  
Modal Logics ◽  
Finite Width ◽  
Propositional Language

AbstractTense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness (completeness) and decidability. It is proved that all minimal tense extensions of modal logics of finite width (in the sense of K. Kine) as well as all minimal tense extensions of cofinal subframe logics (in the sense of M. Zakharyaschev) are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are also presented.

Gentzen sequent calculi for some intuitionistic modal logics

2019 ◽  
Vol 27 (4) ◽  
pp. 596-623
Author(s):  
Zhe Lin ◽  
Minghui Ma
Keyword(s):  
Propositional Logic ◽  
Sequent Calculus ◽  
Modal Logics ◽  
Cut Elimination ◽  
Sequent Calculi ◽  
Intuitionistic Propositional Logic ◽  
Propositional Language ◽  
Intuitionistic Modal Logics ◽  
Subformula Property ◽  
Gentzen Sequent Calculus

Abstract Intuitionistic modal logics are extensions of intuitionistic propositional logic with modal axioms. We treat with two modal languages ${\mathscr{L}}_\Diamond $ and $\mathscr{L}_{\Diamond ,\Box }$ which extend the intuitionistic propositional language with $\Diamond $ and $\Diamond ,\Box $, respectively. Gentzen sequent calculi are established for several intuitionistic modal logics. In particular, we introduce a Gentzen sequent calculus for the well-known intuitionistic modal logic $\textsf{MIPC}$. These sequent calculi admit cut elimination and subformula property. They are decidable.

The finite model property in tense logic

1995 ◽  
Vol 60 (3) ◽  
pp. 757-774 ◽  
Author(s):  
Frank Wolter
Keyword(s):  
Modal Logics ◽  
Tense Logic ◽  
Finite Model ◽  
Model Property ◽  
Finite Model Property ◽  
Negative Results ◽  
Propositional Language ◽  
Positive Results

AbstractTense logics in the bimodal propositional language are investigated with respect to the Finite Model Property. In order to prove positive results techniques from investigations of modal logics above K4 are extended to tense logic. General negative results show the limits of the transfer.

Dispersion Characteristics of Multi-Step Open Slow-Wave Systems of Finite Width: Analysis

1997 ◽  
Vol 51 (8) ◽  
pp. 77-84
Author(s):  
L. M. Buzik ◽  
O. F. Pishko ◽  
S.A. Churilova ◽  
O. I. Sheremet
Keyword(s):  
Slow Wave ◽  
Finite Width ◽  
Dispersion Characteristics

Modal logics with Belnapian truth values

2010 ◽  
Vol 20 (3) ◽  
pp. 279-304 ◽  
Author(s):  
Serge P Odintsov ◽  
Heinrich Wansing
Keyword(s):  
Modal Logics ◽  
Truth Values

Quantum Tunneling

2017 ◽  
Author(s):  
Frank S. Levin
Keyword(s):  
Quantum Tunneling ◽  
Alpha Particles ◽  
Attractive Potential ◽  
Scanning Tunneling ◽  
Finite Width ◽  
Potential Well ◽  
Surface Molecules ◽  
Repulsive Coulomb ◽  
The Subject ◽  
The One

Quantum tunneling, wherein a quanject has a non-zero probability of tunneling into and then exiting a barrier of finite width and height, is the subject of Chapter 13. The description for the one-dimensional case is extended to the barrier being inverted, which forms an attractive potential well. The first application of this analysis is to the emission of alpha particles from the decay of radioactive nuclei, where the alpha-nucleus attraction is modeled by a potential well and the barrier is the repulsive Coulomb potential. Excellent results are obtained. Ditto for the similar analysis of proton burning in stars and yet a different analysis that explains tunneling through a Josephson junction, the connector between two superconductors. The final application is to the scanning tunneling microscope, a device that allows the microscopic surfaces of solids to be mapped via electrons from the surface molecules tunneling into the tip of the STM probe.

Finite-width waveguide and waveguide intersections for self-collimated beams in photonic crystals

2004 ◽  
Vol 85 (21) ◽  
pp. 4834-4836 ◽  
Author(s):  
Zhaofeng Li ◽  
Haibo Chen ◽  
Zhitang Song ◽  
Fuhua Yang ◽  
Songlin Feng
Keyword(s):  
Photonic Crystals ◽  
Finite Width

scholarly journals On modal logics arising from scattered locally compact Hausdorff spaces

2019 ◽  
Vol 170 (5) ◽  
pp. 558-577
Author(s):  
Guram Bezhanishvili ◽  
Nick Bezhanishvili ◽  
Joel Lucero-Bryan ◽  
Jan van Mill
Keyword(s):  
Modal Logics ◽  
Hausdorff Spaces ◽  
Locally Compact
Sign in / Sign up

Export Citation Format

Share Document