On Sequential Form of Functional Dynamic Logics

Regimantas Pliuškevičius

doi:10.3233/fi-1984-7310

On Sequential Form of Functional Dynamic Logics

Fundamenta Informaticae ◽

10.3233/fi-1984-7310 ◽

1984 ◽

Vol 7 (3) ◽

pp. 357-358

Author(s):

Regimantas Pliuškevičius

Keyword(s):

Axiom Systems ◽

Dynamic Logics

A Gentzen-style axiomatization of dynamic logics is proposed. It is compared to other axiom systems for dynamic logics. Some problems of relative decidability are considered.

Download Full-text

Finite axiom systems for testing preorder and De Simone process languages

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0014317 ◽

1996 ◽

pp. 210-224

Author(s):

Irek Ulidowski

Keyword(s):

Axiom Systems

Download Full-text

Axiom Systems

Theory of Matroids ◽

10.1017/cbo9780511629563.005 ◽

1986 ◽

pp. 29-44

Author(s):

Giorgio Nicoletti ◽

Neil White

Keyword(s):

Axiom Systems

Download Full-text

Axiom systems of $B$-algebra

Proceedings of the Japan Academy ◽

10.3792/pja/1195521838 ◽

1966 ◽

Vol 42 (8) ◽

pp. 867-870

Author(s):

Corneliu Sicoe

Keyword(s):

Axiom Systems

Download Full-text

On axiom systems of propositional calculi, II

Proceedings of the Japan Academy ◽

10.3792/pja/1195522379 ◽

1965 ◽

Vol 41 (6) ◽

pp. 440-442

Author(s):

Yoshinari Arai

Keyword(s):

Axiom Systems ◽

Propositional Calculi

Download Full-text

Theodore Hailperin. Remarks on identity and description in first-order axiom systems. The journal of symbolic logic, vol. 19 (1954), pp. 14–20.

Journal of Symbolic Logic ◽

10.2307/2268101 ◽

1955 ◽

Vol 20 (1) ◽

pp. 81-83

Author(s):

William Craig

Keyword(s):

Symbolic Logic ◽

First Order ◽

Axiom Systems

Download Full-text

Channel Theoretic Reflections on Dynamic Logics of Speech Acts

Logic in Asia: Studia Logica Library - Structural Analysis of Non-Classical Logics ◽

10.1007/978-3-662-48357-2_10 ◽

2015 ◽

pp. 201-221

Author(s):

Tomoyuki Yamada

Keyword(s):

Speech Acts ◽

Dynamic Logics

Download Full-text

First-Order Axiom Systems

First-Order Modal Logic ◽

10.1007/978-94-011-5292-1_6 ◽

1998 ◽

pp. 132-139

Author(s):

Melvin Fitting ◽

Richard L. Mendelsohn

Keyword(s):

First Order ◽

Axiom Systems

Download Full-text

Axiom Systems for Trilattice Logics

Truth and Falsehood ◽

10.1007/978-94-007-0907-2_5 ◽

2011 ◽

pp. 93-112

Author(s):

Yaroslav Shramko ◽

Heinrich Wansing

Keyword(s):

Axiom Systems

Download Full-text

Theories and Axiom Systems

Course of Mathematical Logic ◽

10.1007/978-94-010-2097-8_5 ◽

1974 ◽

pp. 93-111

Author(s):

Roland Fraïssé

Keyword(s):

Axiom Systems

Download Full-text

On axiom systems of ontology, I

Proceedings of the Japan Academy ◽

10.3792/pja/1195520403 ◽

1970 ◽

Vol 46 (3) ◽

pp. 255-257

Author(s):

Shôtarô Tanaka

Keyword(s):

Axiom Systems

Download Full-text