One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.277.13 ◽

2018 ◽

Vol 277 ◽

pp. 176-190 ◽

Cited By ~ 1

Author(s):

Luca Geatti ◽

Nicola Gigante ◽

Angelo Montanari ◽

Mark Reynolds

Keyword(s):

Tableau Systems

Tableau systems for paraconsistency and minimal inconsistency

Journal of Computer Science and Technology ◽

10.1007/bf02946605 ◽

1998 ◽

Vol 13 (2) ◽

pp. 174-188 ◽

Cited By ~ 1

Author(s):

Zuoquan Lin

Keyword(s):

Tableau Systems

Sue Toledo. Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics, vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, iii + 339 pp.

Journal of Symbolic Logic ◽

10.2307/2273439 ◽

1980 ◽

Vol 45 (3) ◽

pp. 636-638

Author(s):

J. I. Zucker

Keyword(s):

New York ◽

Number Theory ◽

Higher Order ◽

Order Number ◽

First Order ◽

Tableau Systems ◽

Lecture Notes

Labelled Tableau Systems for Some Subintuitionistic Logics

Logica Universalis ◽

10.1007/s11787-018-0201-z ◽

2018 ◽

Vol 13 (2) ◽

pp. 273-288 ◽

Cited By ~ 1

Author(s):

Minghui Ma

Keyword(s):

Tableau Systems

Pure Modal Logic of Names and Tableau Systems

Studia Logica ◽

10.1007/s11225-018-9788-6 ◽

2018 ◽

Vol 106 (6) ◽

pp. 1261-1289

Author(s):

Andrzej Pietruszczak ◽

Tomasz Jarmużek

Keyword(s):

Modal Logic ◽

Tableau Systems

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic

Logic Journal of IGPL ◽

10.1093/jigpal/5.1.145 ◽

1997 ◽

Vol 5 (1) ◽

pp. 145-167 ◽

Cited By ~ 11

Author(s):

P Miglioli

Keyword(s):

Intuitionistic Logic ◽

Tableau Systems

Terminating Tableau Systems for Hybrid Logic with Difference and Converse

Journal of Logic Language and Information ◽

10.1007/s10849-009-9087-8 ◽

2009 ◽

Vol 18 (4) ◽

pp. 437-464 ◽

Cited By ~ 24

Author(s):

Mark Kaminski ◽

Gert Smolka

Keyword(s):

Hybrid Logic ◽

Tableau Systems

A Note on the Admissibility of Cut in Relevant Tableau Systems

Mathematical Logic Quarterly ◽

10.1002/malq.19790253203 ◽

1979 ◽

Vol 25 (32) ◽

pp. 511-512

Author(s):

Michael A. McRobbie ◽

Robert K. Meyer

Keyword(s):

Tableau Systems

Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

Bulletin of the Section of Logic ◽

10.18778/0138-0680.2022.02 ◽

2022 ◽

Author(s):

Torben Braüner

Keyword(s):

Natural Deduction ◽

Hybrid Logic ◽

Proof Systems ◽

Sequent Systems ◽

Tableau Systems

This paper is about non-labelled proof-systems for hybrid logic, that is, proof-systems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that non-labelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.

Tableau Systems for First Order Number Theory and Certain Higher Order Theories

10.1007/bfb0062936 ◽

1975 ◽

Cited By ~ 5

Author(s):

Sue Toledo

Keyword(s):

Number Theory ◽

Higher Order ◽

Order Number ◽

First Order ◽

Tableau Systems

Modal Tableau Systems with Blocking and Congruence Closure

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-24312-2_4 ◽

2015 ◽

pp. 38-53 ◽

Cited By ~ 3

Author(s):

Renate A. Schmidt ◽

Uwe Waldmann

Keyword(s):

Tableau Systems ◽

Congruence Closure