Search
Issue | Title | |
Vol 27, No 2 (2018): June | On Displaying Negative Modalities | Abstract PDF |
Sergey Drobyshevich | ||
Vol 30, No 1 (2021): March | Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics | Abstract PDF |
Eugenio Orlandelli | ||
Vol 18, No 1 (2009) | Decidability of mereological theories | Abstract PDF |
Hsing-chien Tsai | ||
Vol 20, No 3 (2011) | More on the decidability of mereological theories | Abstract PDF |
Hsing-chien Tsai | ||
Vol 22, No 3 (2013): September | Finitely inseparable first-order axiomatized mereotopological theories | Abstract PDF |
Hsing-chien Tsai | ||
Vol 17, No 1-2 (2008) | Discrete linear temporal logic with current time point clusters, deciding algorithms | Abstract PDF |
V. Rybakov | ||
Vol 18, No 2 (2009) | Temporal non-commutative logic: Expressing time, resource, order and hierarchy | Abstract PDF |
Norihiro Kamide | ||
Vol 20, No 1-2 (2011) | Propositions, possible worlds, and recursion | Abstract PDF |
Andrzej Wiśniewski | ||
Vol 22, No 2 (2013): June | Special Issue on point-free geometry and topology. An introduction | Abstract PDF |
Cristina Coppola, Giangiacomo Gerla | ||
1 - 9 of 9 Items |
Search tips:
- Search terms are case-insensitive
- Common words are ignored
- By default only articles containing all terms in the query are returned (i.e., AND is implied)
- Combine multiple words with OR to find articles containing either term; e.g., education OR research
- Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
- Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
- Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
- Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"