Term-modal logics

DOI10.1023/A:1013842612702MaRDI QIDQ5955624zbMATH OpenOpenAlexFDO

Authors Melvin Fitting, Lars Thalmann, Andrei Voronkov

Publication date 16 September 2002

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1013842612702

zbMATH Keywords

completenessepistemic logicknowledge of agentsmulti-agent reasoningnaming scheme for agentspossible worlds semanticsproof systemstableauxterm-modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1612553
• scientific article; zbMATH DE number 140395
• Term-modal logic and quantifier-free dynamic assignment logic
• The monodic fragment of propositional term modal logic
• Naming and Identity in Epistemic Logics Part I: The Propositional Case

Cited in

(35)

• Formal reasoning in preference-based multiple-source rough set model
• Propositional epistemic logics with quantification over agents of knowledge
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Minimal belief and negation as failure in multi-agent systems
• Dynamic epistemic logics of diffusion and prediction in social networks
• The monodic fragment of propositional term modal logic
• Free quantified epistemic logics
• Quantifier-free epistemic term-modal logic with assignment operator
• Dynamic term-modal logics for first-order epistemic planning
• Populational announcement logic (PPAL)
• Term-sequence-modal logics
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
• Modal extension rule
• Only knowing with degrees of confidence
• scientific article; zbMATH DE number 1612553 (Why is no real title available?)
• Term-modal logic and quantifier-free dynamic assignment logic
• Converse-PDL with regular inclusion axioms: a framework for MAS logics
• Classical term-modal logics
• scientific article; zbMATH DE number 38137 (Why is no real title available?)
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• Logics modulo theories: a logical framework for multi-agent systems
• Doxastic logic: a new approach
• Two variable fragment of term modal logic
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
• Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic
• Epistemic Logics of Structured Intensional Groups
• A possible worlds semantics for trustworthy non-deterministic computations
• Reasoning with rules and rights: term-modal deontic logic
• A modal two-variable fragment of second-order propositional modal logic
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style system for term-modal logic K with equality and non-rigid terms
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style systems for term-modal logics with equality and non-rigid terms
• Abstract, compositional consistency: Isabelle/HOL locales for completeness à la fitting
• Quantified temporal alethic boulesic doxastic logic

This page was built for publication: Term-modal logics

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