scientific article; zbMATH DE number 6538222

MaRDI QIDQ3466634zbMATH OpenFDO

Authors Alasdair Urquhart

Publication date 1 February 2016

Full work available at URL http://ojs.victoria.ac.nz/ajl/article/view/3891/3483

zbMATH Keywords

graded bisimulationmodal logicquantified S5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Quantified Quinean S5
• THE FIRST‐ORDER THEORY OF THE c‐DEGREES
• scientific article; zbMATH DE number 840405
• scientific article; zbMATH DE number 3274720
• Classification of first order sesquilinear forms
• Formal proofs of degree 5 binary BBP-type formulas
• Interpolation for first order S5
• Theoretical Aspects of Computing – ICTAC 2005
• First-Order Formulas in Conjunctive Quantificational Form
• First-level formal solutions and multisummability

Cited in

(3)

• A Logical Autobiography
• Modal Logics of Some Hereditarily Irresolvable Spaces
• Comments on the Contributions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3466634)