Hybrid modal operators for definite descriptions

DOI10.1007/978-3-031-43619-2_48MaRDI QIDQ6545576zbMATH OpenFDO

Authors Przemysław Andrzej Wałęga, Michał Zawidzki

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_48

zbMATH Keywords

computational complexitycounting operatorsdefinite descriptionsexpressive powerhybrid operatorsmodal logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1424043
• Hybrid languages
• Existence, definedness and definite descriptions in hybrid modal logic
• scientific article; zbMATH DE number 2090297
• The computational complexity of hybrid temporal logics

Cites work

• Alternation
• An approach to tense logic¹
• Complexity of the two-variable fragment with counting quantifiers
• Computer Science Logic
• Cut-free modal theory of definite descriptions
• Existence, definedness and definite descriptions in hybrid modal logic
• Grundlagen der Mathematik I
• Handbook of modal logic
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3627123 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Modal logic with names
• Modal Logics with Counting
• New essays in free logic. In honour of Karel Lambert
• Nominal tense logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Satisfiability problem for modal logic with global counting operators coded in binary is \textsc{NExpTime}-complete
• Studii di logica matematica.
• The computational complexity of hybrid temporal logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• The two-variable fragment with counting revisited

Cited in

(1)

• Existence, definedness and definite descriptions in hybrid modal logic

This page was built for publication: Hybrid modal operators for definite descriptions

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