Satisfiability in a Temporal Multi-valueted Logic Based on Z
From MaRDI portal
Publication:5068367
Recommendations
- Multiagent temporal logics with multivaluations
- Many-valued multi-modal logics, satisfiability problem
- Temporal multi-valued logic with lost worlds in the past
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Multi-agent logics with multi-valuations and intensional logical operations
Cites work
- scientific article; zbMATH DE number 1223729 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- A nonstandard approach to the logical omniscience problem
- Epistemic Conditions for Nash Equilibrium
- From classical to epistemic game theory
- Handbook of epistemic logic
- Many-valued multi-modal logics, satisfiability problem
- Multi-agent logics with multi-valuations and intensional logical operations
- Multiagent Systems
- Multiagent temporal logics with multivaluations
- Non-unifiability in linear temporal logic of knowledge with multi-agent relations
- Projective formulas and unification in linear discrete temporal multi-agent logics
- Temporal multi-valued logic with lost worlds in the past
- The epistemic structure of a theory of a game
- The logic of empirical theories revisited
This page was built for publication: Satisfiability in a Temporal Multi-valueted Logic Based on Z
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5068367)
