Term-modal logics

DOI10.1023/A:1013842612702zbMath0992.03026OpenAlexW1649425559MaRDI QIDQ5955624

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

completenesstableauxpossible worlds semanticsproof systemsepistemic logicknowledge of agentsmulti-agent reasoningnaming scheme for agentsterm-modal logics

Mathematics Subject Classification ID

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

Related Items (18)

Quantified temporal alethic boulesic doxastic logic ⋮ Only knowing with degrees of confidence ⋮ Formal reasoning in preference-based multiple-source rough set model ⋮ 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 ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Populational announcement logic (PPAL) ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Doxastic logic: a new approach ⋮ Dynamic epistemic logics of diffusion and prediction in social networks ⋮ The monodic fragment of propositional term modal logic ⋮ Free quantified epistemic logics ⋮ Unnamed Item ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)

This page was built for publication: Term-modal logics