# Inference rules with metavariables and logical equations in the pretabular modal logic PM1.

Siberian Mathematical Journal (2000)

- Volume: 41, Issue: 1, page 88-97 (2000); translation in Sib. Math. J. 41
- ISSN: 0037-4474

## Access Full Article

top## How to cite

topKiyatkin, V.R.. "Inference rules with metavariables and logical equations in the pretabular modal logic PM1.." Siberian Mathematical Journal 41.1 (2000): 88-97 (2000); translation in Sib. Math. J. 41. <http://eudml.org/doc/121134>.

@article{Kiyatkin2000,

author = {Kiyatkin, V.R.},

journal = {Siberian Mathematical Journal},

keywords = {modal logic; inference rule; admissible reference rule},

language = {eng},

number = {1},

pages = {88-97 (2000); translation in Sib. Math. J. 41},

publisher = {Pleiades Publishing, Tortola, British Virgin Islands; Nauka/Interperiodica, Moscow; Springer},

title = {Inference rules with metavariables and logical equations in the pretabular modal logic PM1.},

url = {http://eudml.org/doc/121134},

volume = {41},

year = {2000},

}

TY - JOUR

AU - Kiyatkin, V.R.

TI - Inference rules with metavariables and logical equations in the pretabular modal logic PM1.

JO - Siberian Mathematical Journal

PY - 2000

PB - Pleiades Publishing, Tortola, British Virgin Islands; Nauka/Interperiodica, Moscow; Springer

VL - 41

IS - 1

SP - 88

EP - 97 (2000); translation in Sib. Math. J. 41

LA - eng

KW - modal logic; inference rule; admissible reference rule

UR - http://eudml.org/doc/121134

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.