Modal Logics Between Propositional and First-order

DOI10.1093/LOGCOM/12.6.1017MaRDI QIDQ4796461zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 18 June 2003

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/12.6.1017

zbMATH Keywords

abstractiondecidabilitymodal logicpropositional logicnon-rigidity

Mathematics Subject Classification ID

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

Recommendations

• Undecidability of modal and intermediate first-order logics with two individual variables
• On modal logics betweenK × K × KandS5 × S5 × S5
• Undecidability of modal logics of unary predicate
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• scientific article; zbMATH DE number 1303433

Cited in

(17)

• First-order modal logic
• First-order intensional logic
• Modal logics with non-rigid propositional designators
• scientific article; zbMATH DE number 1341605 (Why is no real title available?)
• The monodic fragment of propositional term modal logic
• FOIL axiomatized
• On the freeze quantifier in Constraint LTL: Decidability and complexity
• Linear-time temporal logics with Presburger constraints: an overview
• scientific article; zbMATH DE number 1507194 (Why is no real title available?)
• scientific article; zbMATH DE number 1858071 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• On height and happiness
• First-order modal logic
• Quantifier-free epistemic term-modal logic with assignment operator
• LTL over integer periodicity constraints
• A first approach to abstract modal logics
• On freeze LTL with ordered attributes

This page was built for publication: Modal Logics Between Propositional and First-order

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