Results 11 - 20 of 18,693

Table I. Regular languages for standard modal logics

in Deciding regular grammar logics with converse through first-order logic
by Stéphane Demri, Hans De Nivelle 2003
Cited by 9

Table 2. Modal logics and frame restriction

in Clausal tableau systems and space bounds for the modal logics
by Linh Anh Nguyen 1999
Cited by 7

Table II. Modal logics and SST-rules

in Single step tableaux for modal logics: Computational properties, complexity and methodology
by Fabio Massacci
Cited by 2

Table II. Modal Logics and SST-rules

in Single Step Tableaux for Modal Logics - Computational properties, complexity and methodology
by Fabio Massacci
Cited by 2

Table I. Regular languages for standard modal logics

in HABILITATIONSSCHRIFT Using Resolution as Decision Procedure eingereicht an der Technischen Universit"at Wien
by unknown authors

Tableau Methods for Modal and Temporal Logics 5

in Tableau Methods for Modal and Temporal Logics
by Rajeev Goré

Tableau Methods for Modal and Temporal Logics 7

in Tableau Methods for Modal and Temporal Logics
by Rajeev Goré

Tableau Methods for Modal and Temporal Logics 9

in Tableau Methods for Modal and Temporal Logics
by Rajeev Goré

Tableau Methods for Modal and Temporal Logics 15

in Tableau Methods for Modal and Temporal Logics
by Rajeev Goré

Tableau Methods for Modal and Temporal Logics 29

in Tableau Methods for Modal and Temporal Logics
by Rajeev Goré
Results 11 - 20 of 18,693